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
    Highly Influential Citations
    14
    Background Citations
    50
    Methods Citations
    41

    Topics from this paper

    Explore Further: Topics Discussed in This Paper

        255 Citations
        Citation Type

        Citation Type

        Foundations for a Practical Theory of Program Refinement and Transformation
        • 22
        • Highly Influenced
        • PDF
        Supporting development of Event-B models
        • 5
        • Highly Influenced
        • PDF
        BCS-FACS 7 th Refinement Workshop Proceedings of the BCS-FACS 7 th Refinement Workshop , Bath , 3-5 July 1996 Interpreting Nondeterminism in the Refinement Calculus ( Invited Lecture )
        • 1
        • 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