The denotational semantics of programming languages

DOI10.1145/360303.360308zbMath0337.68010OpenAlexW1969857501MaRDI QIDQ4105233

Robert D. Tennent

Publication date: 1976

Published in: Communications of the ACM (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/360303.360308

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items (37)

Correct translation of data parallel assignment onto array processors ⋮ Unnamed Item ⋮ Equivalences and transformations of regular systems - applications to recursive program schemes and grammars ⋮ Recursive programs and denotational semantics in absolute logics of programs ⋮ SIMD language design using prescriptive semantics ⋮ Full abstraction for the second order subset of an Algol-like language ⋮ Computation semantics of the functional scientific workflow language Cuneiform ⋮ Unified Algebras and action semantics ⋮ L.P.L. A fuzzy programming language. I: Syntactic aspects ⋮ Correctness of the compiling process based on axiomatic semantics ⋮ L.P.L. - A fuzzy programming language. II: Semantic aspects ⋮ Latent semantic analysis of game models using LSTM ⋮ The congruence of two programming language definitions ⋮ On correct refinement of programs ⋮ Some primitives for the portable programming of array and vector processors ⋮ Hierarchical development of programming languages ⋮ The IO- and OI-hierarchies ⋮ Abstract data types and algebraic semantics of programming languages ⋮ On multi-language abstraction. Towards a static analysis of multi-language programs ⋮ The complexity space of partial functions: a connection between complexity analysis and denotational semantics ⋮ Unnamed Item ⋮ VDM semantics of programming languages: Combinators and monads ⋮ Semantics in Data and Knowledge Bases ⋮ Language design methods based on semantic principles ⋮ Polymorphic programming I. Another language designed on semantic principles ⋮ An axiomatic treatment of SIMD assignment ⋮ PASCAL in LCF: Semantics and examples of proof ⋮ A proposed categorical semantics for Pure ML ⋮ Abstract Interpretation From a Denotational-semantics Perspective ⋮ Semantics of algorithmic languages ⋮ Category Theoretic Models of Data Refinement ⋮ Incorporating static analysis in a combinator-based compiler ⋮ Universal Neural Field Computation ⋮ A denotational semantics for shared-memory parallelism and nondeterminism ⋮ Objects and classes in Algol-like languages ⋮ On a generalized product for domains ⋮ Executable semantic descriptions

This page was built for publication: The denotational semantics of programming languages