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 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" }