Date: 25 May 2005

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

* Final gross prices may vary according to local VAT.

Get Access


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