The Anatomy of an Algol Procedure

Thumbnail
File(s)
Date
1968
Author
London, Ralph
Wassernan, Anthony
Publisher
University of Wisconsin-Madison Department of Computer Sciences
Metadata
Show full item record
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
Citation
TR5
Part of