Corpus ID: 118013406

Correctness preserving program refinements: Proof theory and applications

@inproceedings{Back1980CorrectnessPP,
  title={Correctness preserving program refinements: Proof theory and applications},
  author={R. Back},
  year={1980}
}
  • R. Back
  • Published 1980
  • Computer Science
  • 255 Citations

    Topics from this paper

    Foundations for a Practical Theory of Program Refinement and Transformation
    • 22
    • Highly Influenced
    • PDF
    Supporting development of Event-B models
    • 5
    • Highly Influenced
    • PDF
    Refinement and Decomposition of Value-Passing Action Systems
    • M. Butler
    • Computer Science, Mathematics
    • CONCUR
    • 1993
    • 17
    • Highly Influenced
    Understanding concurrent programs using program transformations
    • 11
    • Highly Influenced
    HOL Light Tutorial
    • 4
    • Highly Influenced
    • PDF
    Behavioral Interface Speci cation Languages
    • Highly Influenced
    • PDF
    Laws of data refinement
    • J. Morris
    • Computer Science
    • Acta Informatica
    • 2004
    • 29
    • Highly Influenced
    • PDF
    De la transformation de prédicats à la transformation de programmes
    • Highly Influenced
    • PDF
    From Kleene Algebra to Refinement Algebra
    • 39
    • Highly Influenced