Abstract commands: A uniform notation for specification and implementation

MaRDI QIDQ2703746zbMATH OpenFDO

Authors S. Dunne

Publication date 8 May 2001

zbMATH Keywords

general correctness

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Formalising general correctness
• scientific article; zbMATH DE number 5185574
• scientific article; zbMATH DE number 3938540
• General correctness: A unification of partial and total correctness
• scientific article; zbMATH DE number 1086636

Cited in

(2)

• Unifying theories of programming that distinguish nontermination and abort
• Formalising general correctness

This page was built for publication: Abstract commands: A uniform notation for specification and implementation

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