SEMANOL (73), a metalanguage for programming the semantics of programming languages
type: Item
instance of: scholarly article
title: SEMANOL (73), a metalanguage for programming the semantics of programming languages
zbMATH Open document ID: 0309.68011
DOI: 10.1007/BF00268496
author: E. R. Anderson
author: F. C. Belz
author: Edward K. Blum
published in: Acta Informatica
publication date: 1976-01-01T00:00:00Z
Mathematics Subject Classification ID: 68N01
zbMATH DE Number: 3485169
describes a project that uses: ALGOL 68
describes a project that uses: ALGOL 60
MaRDI profile type: Publication
cites work: Towards a theory of semantics and compilers for programming languages
cites work: Correspondence between ALGOL 60 and Church's Lambda-notation
cites work: An Algorithmic Semantics for ALGOL 60 Identifier Denotation
cites work: Q5685626
cites work: Semantics of context-free languages
cites work: Q5584402
cites work: Q4772698
cites work: Q5624635
cites work: An axiomatic basis for computer programming
cites work: Q5585020
cites work: Q5531462
cites work: An axiomatic definition of the programming language Pascal
cites work: Q5586320
cites work: The composition of semantics in Algol 68
cites work: Q5592246
cites work: Modeling of storage properties of higher-level languages
cites work: Q5657676
full work available at URL: https://doi.org/10.1007/bf00268496
OpenAlex ID: W2038371881
description: scientific article; zbMATH DE number 3485169