scientific article; zbMATH DE number 4020448

MaRDI QIDQ3763567zbMATH OpenFDO

Authors Jifeng He, Tony Hoare

Publication date 1986

zbMATH Keywords

seqential programterminationVienna Development Methodweakest prespecification in data refinement

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 3974258
• The weakest prespecification
• scientific article; zbMATH DE number 4016178
• scientific article; zbMATH DE number 46741
• scientific article; zbMATH DE number 1086636

Cited in

(15)

• The weakest prespecification
• Proof system for weakest prespecification
• Algebraization of quantifier logics, an introductory overview
• Relation algebras as residuated Boolean algebras
• A relation algebraic model of robust correctness
• Relation-algebraic semantics
• Parallel constructions of maximal path sets and applications to short superstrings
• A relational division operator: The conjugate kernel
• Nondeterministic semantics of compound diagrams
• Pair algebras and Galois connections.
• scientific article; zbMATH DE number 8784 (Why is no real title available?)
• Extensions of Lambek calculi
• Jifeng He at Oxford and beyond: an appreciation
• Embedding a demonic semilattice in a relation algebra
• Regular algebra applied to language problems

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 Q3763567)