scientific article

zbMath0463.68008MaRDI QIDQ3914393

Robert D. Tennent

Publication date: 1981

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

programming languagesdentational semantics

Mathematics Subject Classification ID

Model theory (03C99) Research exposition (monographs, survey articles) pertaining to computer science (68-02) General topics in the theory of software (68N01)

Related Items (16)

The origins of structural operational semantics ⋮ A categorical interpretation of Landin's correspondence principle ⋮ Stack method in program semantics ⋮ Two-level semantics and code generation ⋮ Two-level semantics and abstract interpretation ⋮ A fuzzy language. ⋮ Continuations in possible-world semantics ⋮ HALO --- a fuzzy programming language ⋮ Semantics of interference control ⋮ A structural operational semantics for an Edison like language. II ⋮ A denotational semantics for shared-memory parallelism and nondeterminism ⋮ Two examples of block structuring ⋮ Closures and fairness in the semantics of programming logic ⋮ The description of the characteristics of the structure and the quantity in fixed pansystems theorems ⋮ Closure functions and general iterates as reflectors ⋮ A structural operational semantics for an Edison-like language

This page was built for publication: