Mechanizing some advanced refinement concepts
- 1 August 1993
- journal article
- research article
- Published by Springer Nature in Formal Methods in System Design
- Vol. 3 (1-2) , 49-81
- https://doi.org/10.1007/bf01383984
Abstract
No abstract availableKeywords
This publication has 24 references indexed in Scilit:
- Combining angels, demons and miracles in program specificationsTheoretical Computer Science, 1992
- Superposition Refinement of Parallel AlgorithmsPublished by Elsevier ,1992
- Refinement concepts formalised in higher order logicFormal Aspects of Computing, 1990
- Refinement calculus, part II: Parallel and reactive programsPublished by Springer Nature ,1990
- Mechanizing CSP trace theory in higher order logicIEEE Transactions on Software Engineering, 1990
- A calculus of refinements for program derivationsActa Informatica, 1988
- Data refinement by miraclesInformation Processing Letters, 1988
- A theoretical basis for stepwise refinement and the programming calculusScience of Computer Programming, 1987
- Prespecification in data refinementInformation Processing Letters, 1987
- A formulation of the simple theory of typesThe Journal of Symbolic Logic, 1940