Complementary definitions of programming language semantics
From MaRDI portal
Publication:1235968
zbMath0352.68006MaRDI QIDQ1235968
Publication date: 1976
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Research exposition (monographs, survey articles) pertaining to computer science (68-02) General topics in the theory of software (68N01)
Related Items
An algebraic approach to semantics of programming languages ⋮ A simple relation between relational and predicate transformer semantics for nondeterministic programs ⋮ Hierarchical development of programming languages ⋮ Methodical specification of abstract data types via rewriting systems