Toggle Main Menu Toggle Search


Consistent and Complementary Formal Theories of the Semantics of Programming Languages

Lookup NU author(s):



This paper presents a comparative study of different methods for formal description of programming languages. These methods have been applied to a simple but realistically usable programming language; the more abstract definitions have been proved to be consistent relative to the more concrete ones.

Publication metadata

Author(s): Hoare CAR, Lauer PE

Series Editor(s): Shaw B

Publication type: Report

Series Title: Computing Laboratory Technical Report Series

Year: 1973

Pages: [28]

Source Publication Date: April 1973

Report Number: 44

Institution: Computing Laboratory, The University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne