Intellektik: Technical report 95-10
Formal Reasoning about Modules, Reuse, and their Correctness
Christoph Kreitz and Kung-Kiu Lau and Mario Ornaghi
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.