The essence of expression refinement

MaRDI QIDQ4250671zbMATH OpenFDO

Authors Martin Schwenke, Brendan P. Mahony

Publication date 17 June 1999

zbMATH Keywords

expression refinement semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• Semantics of value recursion for Monadic Input/Output
• scientific article; zbMATH DE number 2090722
• scientific article; zbMATH DE number 1630114
• Generic Hoare logic for order-enriched effects with exceptions
• scientific article; zbMATH DE number 1406087

Cited in

(7)

• An Essence of SSReflect
• Edmonds-Karp
• Refinement Monadic
• Flow Networks
• Gabow SCC
• Prpu_Maxflow
• The essence of Reynolds

This page was built for publication: The essence of expression refinement

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