The Anatomy of an Algol Procedure

Simple item page
dc.contributor.authorLondon, Ralphen_US
dc.contributor.authorWassernan, Anthonyen_US
dc.date.accessioned2012-03-15T16:15:23Z
dc.date.available2012-03-15T16:15:23Z
dc.date.created1968en_US
dc.date.issued1968
dc.description.abstractA 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.en_US
dc.format.mimetypeapplication/pdfen_US
dc.identifier.citationTR5
dc.identifier.urihttp://digital.library.wisc.edu/1793/57462
dc.publisherUniversity of Wisconsin-Madison Department of Computer Sciencesen_US
dc.titleThe Anatomy of an Algol Procedureen_US
dc.typeTechnical Reporten_US

Files

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
TR5.pdf
Size:
5.52 MB
Format:
Adobe Portable Document Format
Download

Collections

CS Technical Reports