Show full item record

File(s):

Author(s)

London, Ralph; Wassernan, Anthony

Publisher

University of Wisconsin-Madison Department of Computer Sciences

Citation

TR5

Date

1968

Abstract

A specific Algol procedure is analyzed in great detail in order to obtain an analysis of exactly what it does. The strategy of analysis is first explained, and the remainder of the paper consists of the written analysis. The main technique is proof by cases.

Permanent link

http://digital.library.wisc.edu/1793/57462 

Export

Export to RefWorks 

​

Part of

CS Technical Reports

Show full item record