A Hierarchical Approach to Formal Semantics With Application to the Definition of PL/ CS

1 January 1979

journal article
Published by Association for Computing Machinery (ACM) in ACM Transactions on Programming Languages and Systems

Vol. 1 (1) , 98-114
https://doi.org/10.1145/357062.357069

Abstract

We describe a means of presenting hierarchically organized formal definitions of programming languages using the denotational approach of D. Scott and C. Strachey. As an example of our approach, we give the semantics of PL/CS, an instructional variant of PL/I. We also discuss the implications of this approach to language design, pointing out some cases where the wrong choices may cause the hierarchy to collapse into chaotic rubble.

Keywords

This publication has 5 references indexed in Scilit:

The denotational semantics of programming languages
Communications of the ACM, 1976
Design and implementation of a diagnostic compiler for PL/I
Communications of the ACM, 1973
An axiomatic definition of the programming language PASCAL
Acta Informatica, 1973
Procedures and parameters: An axiomatic approach
Lecture Notes in Mathematics, 1971
An axiomatic basis for computer programming
Communications of the ACM, 1969