My UW | UW Search

   
   

Computer Science Home Page
 
 
 
Computer Sciences Dept.

The Anatomy of an Algol Procedure

Ralph London, Anthony Wassernan
1968

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.

Download this report (PDF)

Return to tech report index

 
Computer Science | UW Home

Feedback or content questions: send email to "pubs" at the cs.wisc.edu server
Technical or accessibility issues: lab@cs.wisc.edu
Copyright © 2002, 2003, 2004, 2005, 2006, 2007  The Board of Regents of the University of Wisconsin System.