Consistent and Complementary Formal Theories of the Semantics of Programming Languages

  1. Lookup NU author(s)
Author(s)Hoare CAR, Lauer PE
Series Editor(s)Shaw B
Publication type Report
Series TitleComputing Laboratory Technical Report Series
DateApril 1973
Report Number44
Full text is available for this publication:
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.
InstitutionComputing Laboratory, The University of Newcastle upon Tyne
Place PublishedNewcastle upon Tyne
ActionsLink to this publication