Scholarly Works

Consistent and complementary formal theories of...

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 1, 1974

DOI

10.1007/bf00264034

ISSN

0001-5903

Associated Experts

Peter Ernst Lauer

Professor Emeritus, Faculty of Engineering

Labels

Fields of Research (FoR)

46 Information and Computing Sciences 4612 Software Engineering 4613 Theory of computation

View published work (Non-McMaster Users)

View published work (McMaster Users)

Contact the Experts team

Get technical help

or

Provide website feedback