Language design methods based on semantic principles
type: Item
instance of: scholarly article
title: Language design methods based on semantic principles
zbMATH Open document ID: 0326.68006
DOI: 10.1007/BF00289243
published in: Acta Informatica
publication date: 1977-01-01T00:00:00Z
Mathematics Subject Classification ID: 68N01
zbMATH DE Number: 3511564
author: Robert D. Tennent
describes a project that uses: ALGOL 68
describes a project that uses: Simula 67
describes a project that uses: ALGOL 60
MaRDI profile type: Publication
cites work: Universal types in concurrent Pascal
cites work: A pascal compiler for PDP 11 minicomputers
cites work: Q5684216
cites work: Guarded commands, nondeterminacy and formal derivation of programs
cites work: Postlude to a PASCAL-compiler bootstrap on a decsystem-10
cites work: Critical comments on the programming language Pascal
cites work: Q5626277
cites work: A note on the for statement
cites work: Proof of correctness of data representations
cites work: Recursive data structures
cites work: An axiomatic definition of the programming language Pascal
cites work: Pascal. User manual and report
cites work: Q4055144
cites work: The Mechanical Evaluation of Expressions
cites work: Getting rid of labels
cites work: The next 700 programming languages
cites work: Q4125748
cites work: Q5601829
cites work: Q4133080
cites work: Q5734418
cites work: GEDANKEN—a simple typeless language based on the principle of completeness and the reference concept
cites work: Q3851081
cites work: Q4066561
cites work: The denotational semantics of programming languages
cites work: Q4404404
cites work: Report on the algorithmic language ALGOL 68
cites work: Q4050079
cites work: A contribution to the development of ALGOL
cites work: Q4045614
full work available at URL: https://doi.org/10.1007/bf00289243
OpenAlex ID: W2102832761
description: scientific article; zbMATH DE number 3511564