ePrints

Consistent and Complementary Formal Theories of the Semantics of Programming Languages

Lookup NU author(s):

Downloads

• Accepted version [.pdf]

Abstract

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

Publication status: Published

Series Title: Computing Laboratory Technical Report Series

Year: 1973

Pages: [28]

Print publication date: 01/04/1973

Source Publication Date: April 1973

Report Number: 44

Institution: Computing Laboratory, The University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne

Share