Premium
Use of a formal notation for static semantics in compiler design
Author(s) -
Williams M. H.,
Bulmer A. R.
Publication year - 1978
Publication title -
software: practice and experience
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.437
H-Index - 70
eISSN - 1097-024X
pISSN - 0038-0644
DOI - 10.1002/spe.4380080507
Subject(s) - programming language , computer science , compiler , interpreter , cobol , notation , syntax , compiler construction , compiler correctness , formal semantics (linguistics) , abstract syntax tree , semantics (computer science) , mathematical notation , abstract syntax , parsing , natural language processing , linguistics , philosophy
Formal notations for the specification of the syntax and the dynamic semantics of languages exist and are of great benefit to the compiler writer. However, formal notations for the static semantics of languages have tended to be tools of the language designer and of little practical significance to the compiler writer. This paper describes how a particular notation was used to assist in the implementation of a Cobol compiler and of an interpreter for a simulation language.