The Vienna Development Method: The Meta-Language

Volume 61 of the series Lecture Notes in Computer Science pp 305-336


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

  • Wolfgang Henhapl
  • , Cliff B. Jones


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