Modules, Reuse and Correctness.
K.-K. Lau and M. Ornaghi. In A. Brogi and P. Hill, editors,
Proceedings of the
Workshop on Logic-based Software Composition,
pages 59-72, Leuven, Belgium, July 1997.
[Abstract] [Paper]
[BibTeX]
Formal Development of Correct Classes in Computational Logic.
K.-K. Lau, C.D.M. Moss, and M. Ornaghi.
In D.J. Duke and A.S. Evans, editors, Proceedings of
BCS-FACS Northern Formal Methods Workshop,
Springer-Verlag, Electronic Workshops in Computing Series,
1997. Abstract on page 3.
[Abstract] [Paper]
[BibTeX]
Formal Reasoning about Modules, Reuse and their Correctness.
C. Kreitz, K.-K. Lau, and M. Ornaghi.
In D.M. Gabbay and H.J. Ohlbach, editors, Proceedings of the
International Conference on Formal and Applied
Practical Reasoning, Lecture Notes in Artificial
Intelligence 1085, pages 384-399, Springer-Verlag, 1996.
[Abstract] [Paper]
[BibTeX]
Towards an Object-Oriented Methodology for
Deductive Synthesis of Logic Programs.
K.-K. Lau and M. Ornaghi. In M. Proietti,
editor, Proceedings of LOPSTR'95, Lecture Notes
in Computer Science 1048,
pages 152-169, Springer-Verlag, 1996.
[Abstract] [Paper]
[BibTeX]