Remarks on R. D. Tennent's ''Language design methods based on semantic principles: Algol 68, a language designed using semantic principles''
type: Item
instance of: scholarly article
title: Remarks on R. D. Tennent's ''Language design methods based on semantic principles: Algol 68, a language designed using semantic principles''
zbMATH Open document ID: 0423.68002
DOI: 10.1007/BF00269810
published in: Acta Informatica
publication date: 1981-01-01T00:00:00Z
Mathematics Subject Classification ID: 68N01
zbMATH DE Number: 3658961
zbMATH Keywords: language design
zbMATH Keywords: denotational semantics
zbMATH Keywords: abstraction
zbMATH Keywords: declarations
zbMATH Keywords: Pascal
zbMATH Keywords: Algol 68
author: Daniel M. Berry
describes a project that uses: ALGOL 68
MaRDI profile type: Publication
cites work: The composition of semantics in Algol 68
cites work: Q4162444
cites work: An axiomatic basis for computer programming
cites work: Q5626277
cites work: An axiomatic definition of the programming language Pascal
cites work: Pascal. User manual and report
cites work: The next 700 programming languages
cites work: Q4184271
cites work: Q4168059
cites work: Q4174202
cites work: Proof rules for the programming language Euclid
cites work: An introduction to the formal definition of ALGOL 68
cites work: Q4153574
cites work: Q5734418
cites work: GEDANKEN—a simple typeless language based on the principle of completeness and the reference concept
cites work: A semantic view of ALGOL 68
cites work: Q4190087
cites work: Q3851081
cites work: A comparison of PASCAL and ALGOL 68
cites work: Q4066561
cites work: Report on the algorithmic language ALGOL 68
cites work: Q4050079
description: scientific article; zbMATH DE number 3658961