Joining specification statements

DOI10.1016/S0304-3975(98)00165-0zbMath0914.68127MaRDI QIDQ1285666

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

Publication date: 28 April 1999

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

zbMATH Keywords

complete latticesprogram semanticsconjunctive predicate transformersspecification statement

Mathematics Subject Classification ID

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

Related Items (1)

Beyond contracts for concurrency

Cites Work

• Combining angels, demons and miracles in program specifications
• An axiomatic proof technique for parallel programs
• A relational calculus for program construction by parts
• The specification statement
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Joining specification statements