Previous: TR 95-09 Next: TR 95-11

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.

Full Paper: Compressed postscript Compressed DVI

BibTeX entry