Semantics and axiomatics of a simple recursive language.

• 1 January 1974
• proceedings article
• Published by Association for Computing Machinery (ACM)
• p. 13-26
• https://doi.org/10.1145/800119.803880

Abstract

Keywords

• DECIDABILITY
• DETERMINISTIC SIMPLE LANGUAGES
• FIXED-POINTS
• OPERATIONAL VERSUS DENOTATIONAL SEMANTICS
• PROOFS OF PROGRAM PROPERTIES
• SEMANTICS OF PROGRAMS