Formal verification of data type refinement — Theory and practice
- 1 January 1990
- book chapter
- Published by Springer Nature
- p. 561-591
- https://doi.org/10.1007/3-540-52559-9_79
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- The foundation of a generic theorem proverJournal of Automated Reasoning, 1989
- Equational reasoning in IsabelleScience of Computer Programming, 1989
- Logic and ComputationPublished by Cambridge University Press (CUP) ,1987
- Hierarchical correctness proofs for distributed algorithmsPublished by Association for Computing Machinery (ACM) ,1987
- Algebraic implementations preserve program correctnessScience of Computer Programming, 1986
- A theory for nondeterminism, parallelism, communication, and concurrencyTheoretical Computer Science, 1986
- Non-deterministic data types: models and implementationsActa Informatica, 1986
- Principles of OBJ2Published by Association for Computing Machinery (ACM) ,1985
- Algebraic laws for nondeterminism and concurrencyJournal of the ACM, 1985
- Proof of correctness of data representationsActa Informatica, 1972