Refinement calculus, part I: Sequential nondeterministic programs
- 1 January 1990
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 19 references indexed in Scilit:
- Changing data representation in the refinement calculusPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- A calculus of refinements for program derivationsActa Informatica, 1988
- Laws of programmingCommunications of the ACM, 1987
- Another characterization of weakest preconditionsLecture Notes in Computer Science, 1982
- On correct refinement of programsJournal of Computer and System Sciences, 1981
- The Science of ProgrammingPublished by Springer Nature ,1981
- General Lattice TheoryPublished by Springer Nature ,1978
- A Transformation System for Developing Recursive ProgramsJournal of the ACM, 1977
- Correctness-preserving program transformationsPublished by Association for Computing Machinery (ACM) ,1975
- Proof of correctness of data representationsActa Informatica, 1972