A formal definition of ALGOL 60 as described in the 1975 modified report
- 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
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".