Soundness of data refinement for a higher-order imperative language
- 6 May 2002
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 278 (1-2) , 271-301
- https://doi.org/10.1016/s0304-3975(00)00339-x
Abstract
No abstract availableKeywords
This publication has 21 references indexed in Scilit:
- Predicate transformer semantics of a higher-order imperative language with record subtypingScience of Computer Programming, 2001
- A categorical model for higher order imperative programmingMathematical Structures in Computer Science, 1998
- Data refinement, call by value and higher order programsFormal Aspects of Computing, 1995
- Predicate transformers and higher-order programsTheoretical Computer Science, 1995
- Parametricity and local variablesJournal of the ACM, 1995
- Computer science: graphsPublished by Cambridge University Press (CUP) ,1994
- A single complete rule for data refinementFormal Aspects of Computing, 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
- The programming language oberonSoftware: Practice and Experience, 1988
- Countable nondeterminism and random assignmentJournal of the ACM, 1986