A formal definition of ALGOL 60 as described in the 1975 modified report

  • Wolfgang Henhapl
  • Cliff B. Jones
Conference paper

DOI: 10.1007/3-540-08766-4_12

Volume 61 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Henhapl W., Jones C.B. (1978) A formal definition of ALGOL 60 as described in the 1975 modified report. In: Bjørner D., Jones C.B. (eds) The Vienna Development Method: The Meta-Language. Lecture Notes in Computer Science, vol 61. Springer, Berlin, Heidelberg

Abstract

This paper provides a formal definition of a version of the ALGOL 60 programming language. In particular the definition uses the denotational approach and the meta-language presented in this volume (— known within the Vienna Laboratory as "META-IV"). As well as exemplifying the meta-language, (yet) another definition of ALGOL 60 is justified by the recent revision of the language which resolved most of the open points in the earlier "Revised Report".

Download to read the full conference paper text

Copyright information

© Springer-Verlag 1978

Authors and Affiliations

  • Wolfgang Henhapl
  • Cliff B. Jones

There are no affiliations available