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
65 Intersection Types and Computational Effects – Rowan Davies, Frank Pfenning - 2000
289 Dependent Types in Practical Programming – Hongwei Xi, Dana Scott - 1998
216 Cayenne -- a Language With Dependent Types – Lennart Augustsson - 1998
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
215 An introduction to the theory of lists – R S Bird - 1987
79 A Modular Module System – Xavier Leroy - 2000
723 The B-Book: Assigning Programs to Meanings – J-R Abrial - 1996
257 Refinement Calculus: A Systematic Introduction – R-J Back, J von Wright - 1998
441 The formulae-as-types notion of construction – W A Howard - 1980
1399 A Discipline of Programming – E W Dijkstra - 1976
262 Program Development by Stepwise Refinement – N Wirth - 1971
229 Notes on structured programming – E W Dijkstra - 1972