Corpus ID: 60802331

Refinement Calculus: A Systematic Introduction

  title={Refinement Calculus: A Systematic Introduction},
  author={R. Back and F. Schneider and D. Gries},
  • R. Back, F. Schneider, D. Gries
  • Published 1998
  • Computer Science
  • From the Publisher: The authors begin with a presentation of a new foundation for the refinement calculus based on lattice theory and higher order logic, together with a simple theory of program variables. The second part of the book describes the predicate transformer approach to programming logic and program semantics as well as the refinement calculus. The authors examine contracts, games, and program statements and show how their operational semantics is related to their predicate… CONTINUE READING
    868 Citations

    Topics from this paper

    Formal Semantics for Program Paths
    • 6
    A Program Calculus
    • 5
    • PDF
    S-Program Calculus
    • Highly Influenced
    • PDF
    Don't Care Non-determinism in Logic Program Refinement
    • 4
    Formal Software Development : From Foundations to Tools
    • PDF
    Safe Modification of Pointer Programs in Refinement Calculus
    • PDF
    Engineering a Theory of Concurrent Programming
    A Refinement Theory for µ-Charts
    • 19
    Reasoning about recursive procedures with parameters
    • 6