scientific article; zbMATH DE number 3346088
From MaRDI portal
Publication:5621937
zbMath0217.53502MaRDI QIDQ5621937
Publication date: 1969
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Unnamed Item ⋮ The origins of structural operational semantics ⋮ The formal definition of a real-time language ⋮ The congruence of two programming language definitions ⋮ Modeling of storage properties of higher-level languages ⋮ A survey of state vectors ⋮ Unnamed Item ⋮ Formal languages of labelled graphs ⋮ PASCAL in LCF: Semantics and examples of proof ⋮ Time required for reference count management in retention block-structured languages. Part 1 ⋮ Operational semantics: concepts and their expression ⋮ Pair grammars, graph languages and string-to-graph translations ⋮ A note on infinite trees ⋮ A logic covering undefinedness in program proofs ⋮ A denotational semantics for shared-memory parallelism and nondeterminism
Uses Software
