Program Derivation Using the Refinement Calculator (1996)
by
Michael Butler
,
Thomas Långbacka
| Venue: | Theorem Proving in Higher Order Logics: 9th International Conference, volume 1125 of Lecture Notes in Computer Science |
| Citations: | 6 - 3 self |
BibTeX
@INPROCEEDINGS{Butler96programderivation,
author = {Michael Butler and Thomas Långbacka},
title = {Program Derivation Using the Refinement Calculator},
booktitle = {Theorem Proving in Higher Order Logics: 9th International Conference, volume 1125 of Lecture Notes in Computer Science},
year = {1996},
pages = {93--108},
publisher = {Springer Verlag}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
. The refinement calculus provides a theory for the stepwise refinement
