Formal Reasoning about Modules, Reuse, Objects, and their Correctness.

Christoph Kreitz, Kung-Kiu Lau, Mario Ornaghi.

In D. Gabbay & H.-J. Ohlbach, eds., International Conference on Formal and Applied Practical Reasoning (FAPR'96)
LNAI 1085, pp. 384-398, Springer Verlag, 1996.


Abstract

We present a formalisation of modules that are correct, and (correctly) reusable in the sense that composition of modules preserves both correctness and reusability. We also introduce a calculus for formally reasoning about the construction of such modules.


Paper is available in
postscript and pdf format



Bibtex Entry


BACK
Back to overview of papers
@InProceedings{inp:KreitzLauOrnaghi95a, author = "Christoph Kreitz and Kung-Kiu Lau and Mario Ornaghi", title = "Formal Reasoning about Modules, Reuse, Objects, and their Correctness", booktitle = "International Conference on Formal and Applied Practical Reasoning", year = "1996", editor = "D. Gabbay and H.-J. Ohlbach", volume = "1085", series = "Lecture Notes in Artificial Intelligence", pages = "384--398", publisher = "Springer Verlag" }