Supporting contexts in program refinement
- 30 September 1997
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 29 (3) , 279-302
- https://doi.org/10.1016/s0167-6423(97)00002-6
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- Formalizing a Hierarchical Structure of Practical Mathematical ReasoningJournal of Logic and Computation, 1993
- Programming from specifications : Carroll Morgan, (Prentice-Hall International, London, 1990), Price £16.95 (paperback), ISBN 0-13-726233-7.Science of Computer Programming, 1991
- Types and invariants in the refinement calculusScience of Computer Programming, 1990
- A practical theory of programmingScience of Computer Programming, 1990
- A calculus of refinements for program derivationsActa Informatica, 1988
- The specification statementACM Transactions on Programming Languages and Systems, 1988
- The Specification StatementPublished by Springer Nature ,1988
- A theoretical basis for stepwise refinement and the programming calculusScience of Computer Programming, 1987
- Specification Statements and RefinementPublished by Springer Nature ,1987
- Programs are predicatesPhilosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences, 1984