A Theory of Program Refinement (1998)

Cached

Download Links

by Ewen W. K. C. Denney
Citations:6 - 1 self

Documents Related by Co-Citation

172 Refinement types for ML – Tim Freeman - 1994
219 Cayenne -- a Language With Dependent Types – Lennart Augustsson - 1998
290 Dependent Types in Practical Programming – Hongwei Xi, Dana Scott - 1998
65 Intersection Types and Computational Effects – Rowan Davies, Frank Pfenning - 2000
18 Andrzej Tarlecki. The definition of extended ml: a gentle introduction – Stefan Kahrs, Donald Sannella - 1997
13 A Refinement Calculus for Nondeterministic Expressions – Nigel Thomas Edgar Ward - 1994
8 Expression Refinement – Alexander Bunkenburg - 1997
3 Simply-typed Underdeterminism – Ewen Denney - 1998
10 Non-deterministic Expressions and Predicate Transformers – Joseph Morris - 1997
18 Programming from specifications (2nd ed – Carroll Morgan - 1994
96 Algorithmics: Towards programming as a mathematical activity – L Meertens - 1986
163 Inductive Definitions in the System Coq Rules and Properties – Christine Paulin-Mohring - 1992
724 The B-Book: Assigning Programs to Meanings – J R Abrial - 1996
445 The formulae-as-types notion of construction – W A Howard - 1980
215 An introduction to the theory of lists – R S Bird - 1987
1404 A Discipline of Programming – E W Dijkstra - 1976
79 A Modular Module System – Xavier Leroy - 2000
257 Refinement Calculus: A Systematic Introduction – R-J Back, J von Wright - 1998
262 Program Development by Stepwise Refinement – N Wirth - 1971