scientific article; zbMATH DE number 1487498

MaRDI QIDQ4493907zbMATH OpenFDO

Authors Eric C. R. Hehner, Andrew M. Gravell

Publication date 29 January 2001

zbMATH Keywords

least fixpoint semanticsrefinement semantics

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• Loop checking and the well-founded semantics
• The expressiveness of looping terms in the semantic programming
• scientific article; zbMATH DE number 1512629
• Refinement
• Reasoning about loops in total and general correctness
• The semantics of Hoare's iteration rule
• scientific article; zbMATH DE number 1949638
• Logic of refinement types
• On refinement in rewriting logic
• Loop detection by logically constrained term rewriting

Cited in

(9)

• Reasoning algebraically about loops
• Loop verification with invariants and contracts
• The Semantics of New While Loop
• scientific article; zbMATH DE number 23834 (Why is no real title available?)
• scientific article; zbMATH DE number 1949638 (Why is no real title available?)
• Refinement
• scientific article; zbMATH DE number 3995021 (Why is no real title available?)
• General refinement. I: Interfaces, determinism and special refinement
• Symbolic Verification Method for Definite Iterations over Tuples of Altered Data Structures and Its Application to Pointer Programs

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