Publication:3914393
From MaRDI portal
zbMath0463.68008MaRDI QIDQ3914393
Publication date: 1981
03C99: Model theory
68-02: Research exposition (monographs, survey articles) pertaining to computer science
68N01: General topics in the theory of software
Related Items
Semantics of interference control, A denotational semantics for shared-memory parallelism and nondeterminism, Closures and fairness in the semantics of programming logic, Closure functions and general iterates as reflectors, Two-level semantics and abstract interpretation, The description of the characteristics of the structure and the quantity in fixed pansystems theorems, A structural operational semantics for an Edison-like language, Stack method in program semantics, Two-level semantics and code generation, Continuations in possible-world semantics, HALO --- a fuzzy programming language, A fuzzy language., A structural operational semantics for an Edison like language. II, The origins of structural operational semantics, Two examples of block structuring