scientific article; zbMATH DE number 3346088

zbMath0217.53502MaRDI QIDQ5621937

K. Walk, P. G. J. Lucas

Publication date: 1969

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

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Related Items (15)

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

• PL/I

This page was built for publication: