scientific article; zbMATH DE number 4047047

MaRDI QIDQ3783508zbMATH OpenFDO

Authors Ernest G. Manes

Publication date 1986

zbMATH Keywords

semanticsmultifunctionsweakest preconditionscategory of setspartial functionscontrol categoriesaxiomatic foundation of programmingdeterministic morphismsliberal preconditionsprogram tracing

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Categories of sets, characterizations (18B05) Specification and verification (program logics, model checking, etc.) (68Q60) Theories (e.g., algebraic theories), structure, and semantics (18C10)

Recommendations

• scientific article; zbMATH DE number 3999260
• Weakest preconditions in fibrations
• A categorical treatment of pre- and post-conditions
• Dijkstra Monads in Monadic Computation
• scientific article; zbMATH DE number 1678378

Cited in

(8)

• scientific article; zbMATH DE number 3999260 (Why is no real title available?)
• On the inherent weakness of conditional primitives
• A note on guarded theories
• A categorical treatment of pre- and post-conditions
• Some Variants of the Weakest Precondition in Nondeterminism
• scientific article; zbMATH DE number 8784 (Why is no real title available?)
• Weakest preconditions in fibrations
• Weakest preconditioned goto axiom

This page was built for publication:

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