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

  • Wolfgang Henhapl
  • Cliff B. Jones
Part of the Lecture Notes in Computer Science book series (LNCS, volume 61)


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".

Copyright information

© Springer-Verlag Berlin Heidelberg 1978

Authors and Affiliations

  • Wolfgang Henhapl
  • Cliff B. Jones

There are no affiliations available

Personalised recommendations