scientific article; zbMATH DE number 3557184

Cited in

(39)

Order-Sorted Parameterization and Induction
On infinite computations in denotational semantics
Continuation semantics for flowgraph equations
On merging software extensions
The semantics of lazy functional languages
Language design methods based on semantic principles
scientific article; zbMATH DE number 3808984 (Why is no real title available?)
Domain theory in logical form
Some primitives for the portable programming of array and vector processors
A complete logic for reasoning about programs via nonstandard model theory. II
On the transformation between direct and continuation semantics
Sequential algorithms on concrete data structures
The congruence of two programming language definitions
A short proof of the lexical addressing algorithm
Two-level semantics and abstract interpretation
Proposition de semantique denotationnelle pour des réseaux de processus avec opérateur de melange équitable
The IO- and OI-hierarchies
Semantics of algorithmic languages
Expressive power of typed and type-free programming languages
Semantics of interference control
The origins of structural operational semantics
On a generalized product for domains
Continuations in possible-world semantics
Recursive programs and denotational semantics in absolute logics of programs
Denotational semantics of mixed computation processes for a structural programming language
Direct semantics and exceptions define jumps and coroutines
Strictness analysis and denotational abstract interpretation
A Theory of Pointers for the UTP
Stability, sequentiality and demand driven evaluation in dataflow
Fully abstract submodels of typed lambda calculi
Kleene's Logic with equality
Incorporating static analysis in a combinator-based compiler
Abstract interpretation from a denotational-semantics perspective
A domain equation for bisimulation
Fixed point theorems and semantics: A folk tale
A type-theoretical alternative to ISWIM, CUCH, OWHY
PASCAL in LCF: Semantics and examples of proof
Equivalence of formal semantics definition methods
Two-level semantics and code generation

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4133080)