Publication:3920613
From MaRDI portal
zbMath0467.68011MaRDI QIDQ3920613
Publication date: 1980
operational semantics; denotational semantics; predicate transformer semantics; state transformation semantics
68Q55: Semantics in the theory of computing
68Q60: Specification and verification (program logics, model checking, etc.)
68N01: General topics in the theory of software
Related Items
Fixed-point operations on ccc's. I, Predicate transformers and higher-order programs, Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding, Equational properties of iteration in algebraically complete categories, Combining angels, demons and miracles in program specifications, On a generalized product for domains, The equational logic of fixed points, A representable approach to finite nondeterminism, A general adequacy result for a linear functional language, Completeness of Park induction, Power structures, Categorical fixed point semantics