A Formal Description of a Subset of Algol
STANFORD UNIV CA DEPT OF COMPUTER SCIENCE
Pagination or Media Count:
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.
- Computer Programming and Software