scientific article; zbMATH DE number 1487498

zbMATH Open0953.68082MaRDI QIDQ4493907FDOQ4493907

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

Publication date: 29 January 2001

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

Recommendations

• Loop checking and the well-founded semantics
• The expressiveness of looping terms in the semantic programming
• Publication:4508314
• 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

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)

Cited In (7)

• Title not available (Why is that?)
• Symbolic Verification Method for Definite Iterations over Tuples of Altered Data Structures and Its Application to Pointer Programs
• General refinement. I: Interfaces, determinism and special refinement
• Loop verification with invariants and contracts
• The Semantics of New While Loop
• Refinement
• Title not available (Why is that?)

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)