Access Restriction

Author Spitzen, Jay M. ♦ Levitt, Karl N. ♦ Robinson, Lawrence
Source ACM Digital Library
Content type Text
Publisher Association for Computing Machinery (ACM)
File Format PDF
Language English
Subject Keyword Software modules ♦ Specification ♦ Data abstraction ♦ Hierarchical structures ♦ Program verification
Abstract Hierarchical programming is being increasingly recognized as helpful in the construction of large programs. Users of hierarchical techniques claim or predict substantial increases in productivity and in the reliability of the programs produced. In this paper we describe a formal method for hierarchical program specification, implementation, and proof. We apply this method to a significant list processing problem and also discuss a number of extensions to current programming languages that ease hierarchical program design and proof.
Description Affiliation: SRI International, Menlo Park, CA (Spitzen, Jay M.; Levitt, Karl N.; Robinson, Lawrence)
Age Range 18 to 22 years ♦ above 22 year
Educational Use Research
Education Level UG and PG
Learning Resource Type Article
Publisher Date 2005-08-01
Publisher Place New York
Journal Communications of the ACM (CACM)
Volume Number 21
Issue Number 12
Page Count 12
Starting Page 1064
Ending Page 1075

Open content in new tab

   Open content in new tab
Source: ACM Digital Library