be made.
Download:
|
|
by Jim Grundy, Jim Grundy
ftp://ftp.cl.cam.ac.uk/papers/reports/TR318-jg-program-refinement.ps.gz
Add To MetaCart
Abstract:
This work is copyright and may not be reproduced, stored nor distributed
Citations
| 182 | Program Development by Stepwise Refinement – Wirth - 1971 |
| 91 | Towords a mathematical semantics for computer languages – Scott, Strachey - 1971 |
| 49 | Formalizing a hierarchical structure of practical mathematical reasoning – Robinson, Staples - 1993 |
| 18 | Program refinement by theorem prover – Wright - 1994 |
| 16 | An overview of a refinement editor – Vickers - 1990 |
| 6 | The demonstration proof editor Demo2 – Tang, Robinson, et al. - 1991 |
| 5 | From VDM to RAISE – Prehn - 1987 |
| 2 | theorem provers deserve real user-interfaces. Rapports de Recherche: Programme 2 --- N ffi 1684 – Real - 1992 |
| 1 | MALPAS Users Guide – Tompson - 1990 |
| 1 | Mechanising some advanced refinement concepts. Formal Methods in System Design – Wright, Sere - 1993 |
