Complementary definitions of programming language semantics

MaRDI QIDQ1235968zbMATH OpenFDO

Authors James E. Donahue

Publication date 1976

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

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

Cited in

(6)

• A simple relation between relational and predicate transformer semantics for nondeterministic programs
• Hierarchical development of programming languages
• An algebraic approach to semantics of programming languages
• Methodical specification of abstract data types via rewriting systems
• Formalization of Refinement Calculus for Reactive Systems
• Algebra of Monotonic Boolean Transformers

This page was built for publication: Complementary definitions of programming language semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1235968)