scientific article; zbMATH DE number 4020448

zbMATH Open0627.68011MaRDI QIDQ3763567FDOQ3763567

Authors: Jifeng He, Tony Hoare 

Publication date: 1986

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

Recommendations

• scientific article; zbMATH DE number 3974258
• The weakest prespecification
• Publication:3028331
• scientific article; zbMATH DE number 46741
• scientific article; zbMATH DE number 1086636

zbMATH Keywords

terminationVienna Development Methodseqential programweakest 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)

Cited In (15)

• Nondeterministic semantics of compound diagrams
• Proof system for weakest prespecification
• Embedding a demonic semilattice in a relation algebra
• The weakest prespecification
• Relation-algebraic semantics
• Pair algebras and Galois connections.
• A relation algebraic model of robust correctness
• Title not available (Why is that?)
• Algebraization of quantifier logics, an introductory overview
• A relational division operator: The conjugate kernel
• Extensions of Lambek calculi
• Parallel constructions of maximal path sets and applications to short superstrings
• Relation algebras as residuated Boolean algebras
• Jifeng He at Oxford and beyond: an appreciation
• 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)