Consistent and complementary formal theories of the semantics of programming languages

Publisher Website

1 January 1974

journal article
Published by Springer Nature in Acta Informatica

Vol. 3 (2)
https://doi.org/10.1007/bf00264034

Abstract

No abstract available

Keywords

Cited by 50 articles