Joining specification statements

DOI10.1016/S0304-3975(98)00165-0MaRDI QIDQ1285666zbMATH OpenFDO

Authors K. Rustan, Rajit Manohar, K. Rustan M. Leino

Publication date 28 April 1999

Published in Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

program semanticscomplete latticesconjunctive predicate transformersspecification statement

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 1693512
• Specification statements and refinement
• On the expressiveness of joining
• On the expressiveness of joining and splitting
• Writing declarative specifications for clauses
• scientific article; zbMATH DE number 1231691

Cites work

• scientific article; zbMATH DE number 3974258 (Why is no real title available?)
• scientific article; zbMATH DE number 3694563 (Why is no real title available?)
• scientific article; zbMATH DE number 194642 (Why is no real title available?)
• scientific article; zbMATH DE number 756075 (Why is no real title available?)
• scientific article; zbMATH DE number 3204690 (Why is no real title available?)
• A relational calculus for program construction by parts
• An axiomatic proof technique for parallel programs
• Combining angels, demons and miracles in program specifications
• The specification statement

Cited in

(1)

• Beyond contracts for concurrency

This page was built for publication: Joining specification statements

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