Language design methods based on semantic principles

DOI10.1007/BF00289243zbMath0326.68006OpenAlexW2102832761MaRDI QIDQ1225927

Robert D. Tennent

Publication date: 1977

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00289243

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items (3)

A categorical interpretation of Landin's correspondence principle ⋮ A note on files in pascal ⋮ Abstract Interpretation From a Denotational-semantics Perspective

Uses Software

• ALGOL 68
• Simula 67
• ALGOL 60

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Getting rid of labels
• Universal types in concurrent Pascal
• Pascal. User manual and report
• Critical comments on the programming language Pascal
• Report on the algorithmic language ALGOL 68
• Proof of correctness of data representations
• An axiomatic definition of the programming language Pascal
• Recursive data structures
• Guarded commands, nondeterminacy and formal derivation of programs
• A pascal compiler for PDP 11 minicomputers
• Postlude to a PASCAL-compiler bootstrap on a decsystem-10
• The denotational semantics of programming languages
• A contribution to the development of ALGOL
• The next 700 programming languages
• GEDANKEN—a simple typeless language based on the principle of completeness and the reference concept
• A note on the for statement
• The Mechanical Evaluation of Expressions

This page was built for publication: Language design methods based on semantic principles