An Object-Oriented Approach

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]

Back to Kung-Kiu Lau's home page