About This Item

Ask the MINDS@UW Librarian

The Anatomy of an Algol Procedure

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

Show full item record

Search and browse




About MINDS@UW

Deposit materials

  1. Register to deposit in MINDS@UW
  2. Need deposit privileges? Contact us.
  3. Already registered? Have deposit privileges? Deposit materials.