The denotational semantics of programming languages
From MaRDI portal
Publication:4105233
DOI10.1145/360303.360308zbMath0337.68010OpenAlexW1969857501MaRDI QIDQ4105233
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
Related Items
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
