Accession Number : AD0785050


Title :   A Formal Description of a Subset of Algol


Corporate Author : STANFORD UNIV CA DEPT OF COMPUTER SCIENCE


Personal Author(s) : McCarthy, John


Full Text : https://apps.dtic.mil/dtic/tr/fulltext/u2/785050.pdf


Report Date : 24 Sep 1964


Pagination or Media Count : 10


Abstract : The author describes Microalgol, a trivial subset of ALGOL, by means of an interpreter. The notions of abstract syntax and of state of the computation permit a compact description of both syntax and semantics. The author advocates an extension of this technique as a general way of describing programming languages.


Descriptors :   *PROGRAMMING LANGUAGES , *SYNTAX , COMPUTATIONS , MATHEMATICAL LOGIC , SEMANTICS


Subject Categories : Computer Programming and Software


Distribution Statement : APPROVED FOR PUBLIC RELEASE