A Formal Description of a Subset of Algol

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 24, 1964
Accession Number
AD0785050

Entities

People

  • John McCarthy

Organizations

  • Stanford University

Tags

DTIC Thesaurus Topics

  • Abstracts
  • Arithmetic
  • Artificial Intelligence
  • Compilers
  • Computations
  • Computer Programming
  • Concrete
  • Language
  • Machine Languages
  • Mathematical Logic
  • Numbers
  • Programming Languages
  • Real Numbers
  • Semantics

Readers

  • Computational Linguistics