scientific article; zbMATH DE number 4047047

zbMATH Open0642.68017MaRDI QIDQ3783508FDOQ3783508

Authors: Ernest G. Manes 

Publication date: 1986

Title of this publication is not available (Why is that?)

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

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)

Cited In (8)

• A categorical treatment of pre- and post-conditions
• A note on guarded theories
• Weakest preconditions in fibrations
• Some Variants of the Weakest Precondition in Nondeterminism
• Title not available (Why is that?)
• On the inherent weakness of conditional primitives
• Weakest preconditioned goto axiom
• Title not available (Why is that?)

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)