The Anatomy of an Algol Procedure
Loading...
Files
Date
Authors
London, Ralph
Wassernan, Anthony
Advisors
License
DOI
Type
Technical Report
Journal Title
Journal ISSN
Volume Title
Publisher
University of Wisconsin-Madison Department of Computer Sciences
Grantor
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.
Description
Keywords
Related Material and Data
Citation
TR5