Formal Semantics of Programming Languages: VDL

The history of ideas that led to the first formalization of the syntax and semantics of PL/I is sketched. The definition method and notation are known as the Vienna Definition Language (VDL). The paper examines the relationship between VDL and both denotational semantics and the axiomatic approach to programming language definition.

[1]  John C. Reynolds,et al.  Definitional Interpreters for Higher-Order Programming Languages , 1972, ACM '72.

[2]  Gordon D. Plotkin,et al.  A Powerdomain Construction , 1976, SIAM J. Comput..

[3]  Cliff B. Jones,et al.  A formal definition of ALGOL 60 , 1972 .

[4]  Peter Lucas.  On the Formalization of Programming Languages: Early History and Main Approaches , 1978, The Vienna Development Method: The Meta-Language.

[5]  Abraham Robinson,et al.  Random-Access Stored-Program Machines, an Approach to Programming Languages , 1964, JACM.

[6]  Joseph A. Goguen,et al.  Initial Algebra Semantics and Continuous Algebras , 1977, J. ACM.

[7]  Heinz Zemanek.  Formalization - History, Present and Future , 1974, Programming Methodology.

[8]  E. Lohse,et al.  A Correspondence Between ALGOL 60 and Church's Lambda- Notation: Part I* , 1965 .

[9]  E. Engeler.  Symposium on Semantics of Algorithmic Languages , 1971, Symposium on Semantics of Algorithmic Languages.

[10]  C KingJames.  A new approach to program testing , 1975 .

[11]  Cliff B. Jones,et al.  Proving correctness of implementation techniques , 1971, Symposium on Semantics of Algorithmic Languages.

[12]  John W. Backus,et al.  The syntax and semantics of the proposed international algebraic language of the Zurich ACM-GAMM Conference , 1959, IFIP Congress.

[13]  Robert W. Floyd,et al.  Assigning meaning to programs , 1967 .

[14]  Joseph E. Stoy,et al.  Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory , 1981 .

[15]  D. Bjoerner,et al.  Towards a Formal Description of Ada , 1980, Lecture Notes in Computer Science.

[16]  Dana S. Scott.  Mathematical concepts in programming language semantics , 1971, AFIPS '72 (Spring).

[17]  Zohar Manna,et al.  Fixpoint approach to the theory of computation , 1972, CACM.

[18]  John McCarthy,et al.  Towards a Mathematical Science of Computation , 1962, IFIP Congress.

[19]  Heinz Zemanek,et al.  Semiotics and programming languages , 1966, CACM.

[20]  P. J. Landin.  The Mechanical Evaluation of Expressions , 1964, Comput. J..

[21]  John A. N. Lee.  The formal definition of the BASIC language , 1972, Comput. J..

[22]  Dana S. Scott,et al.  Outline of a Mathematical Theory of Computation , 1970 .

[23]  Dana S. Scott,et al.  Data Types as Lattices , 1976, SIAM J. Comput..

[24]  Dines Bjørner,et al.  The Vienna Development Method: The Meta-Language , 1978, Lecture Notes in Computer Science.

[25]  C ElgotCalvin,et al.  Random-Access Stored-Program Machines, an Approach to Programming Languages , 1964 .

[26]  Cliff B. Jones,et al.  The Vienna Development Method: Examples of compiler development , 1978 .

[27]  J. LandinP..  Correspondence between ALGOL 60 and Church's Lambda-notation , 1965 .

[28]  Randall Rustin.  Formal semantics of programming languages : Courant Computer Science Symposium 2, September 14-16, 1970 , 1972 .

[29]  Kurt Walk,et al.  Formalization of Storage Properties , 1971, Programming Languages and Their Definition.

[30]  James C. King.  A New Approach to Program Testing , 1974, Programming Methodology.

[31]  P Lucas,et al.  On the formal description of PL/I , 1969 .

[32]  Cliff B. Jones.  Yet another proof of the block concept , 1970 .

[33]  C. A. R. Hoare,et al.  An axiomatic basis for computer programming , 1969, CACM.

[34]  John McCarthy.  A Formal Description of a Subset of Algol , 1964 .