Studies in abstract/concrete mappings in proving algorithm correctness
- 1 January 1979
- book chapter
- Published by Springer Nature
- p. 218-229
- https://doi.org/10.1007/3-540-09510-1_17
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Data structures and program correctness: Bridging the gapComputer Languages, 1978
- A Problem-Reduction Approach to Proving Simulation Between ProgramsIEEE Transactions on Software Engineering, 1976
- An axiomatic basis for computer programmingCommunications of the ACM, 1969
- Properties of Programs and the First-Order Predicate CalculusJournal of the ACM, 1969
- An efficient machine-independent procedure for garbage collection in various list structuresCommunications of the ACM, 1967