Journal article
Consistent and complementary formal theories of the semantics of programming languages
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.
Authors
Hoare CAR; Lauer PE
Journal
Acta Informatica, Vol. 3, No. 2, pp. 135–153
Publisher
Springer Nature
Publication Date
June 1974
DOI
10.1007/bf00264034
ISSN
0001-5903