Predicate transformer semantics of a higher-order imperative language with record subtyping
- 30 September 2001
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 41 (1) , 1-51
- https://doi.org/10.1016/s0167-6423(00)00005-8
Abstract
No abstract availableKeywords
This publication has 35 references indexed in Scilit:
- Soundness of data refinement for a higher-order imperative languageTheoretical Computer Science, 2002
- A categorical model for higher order imperative programmingMathematical Structures in Computer Science, 1998
- An approach to object-orientation in action systemsPublished by Springer Nature ,1998
- Predicate transformers and higher-order programsTheoretical Computer Science, 1995
- Parametricity and local variablesJournal of the ACM, 1995
- Reasoning about dynamically evolving process structuresFormal Aspects of Computing, 1994
- Programming from specifications : Carroll Morgan, (Prentice-Hall International, London, 1990), Price £16.95 (paperback), ISBN 0-13-726233-7.Science of Computer Programming, 1991
- Calculating with pointersScience of Computer Programming, 1989
- Ten Years of Hoare's Logic: A Survey—Part IACM Transactions on Programming Languages and Systems, 1981
- Programming Language Constructs for Which It Is Impossible To Obtain Good Hoare Axiom SystemsJournal of the ACM, 1979