Home → Magazine Archive → February 1984 (Vol. 27, No. 2) → Predicative programming Part II → Abstract

Predicative programming Part II

By Eric C. R. Hehner

Communications of the ACM, Vol. 27 No. 2, Pages 144-151

Save PDF
Part I of this two-part paper presented a new semantics of programs. Each program is considered to be a predicate, in a restricted notation, that specifies the observable behavior of a computer executing the program. We considered a variety of notations, including assignment, composition (semicolon), deterministic choice (if), nondeterministic choice, definition (nonrecursive and recursive), and variable declaration. We did not consider any input or output notations, or concurrency; that is the subject of Part II. We assume the reader is familiar with Part I, so that we can build on ideas presented there.

The full text of this article is premium content


No entries found