Constructive
Specification of Compositional Units.
K.-K. Lau. A. Momigliano and M. Ornaghi. In S. Etalle, editor,
Proceedings of the Fourteenth
International Workshop on Logic-based Program
Synthesis and Transformation, Lecture Notes in Computer
Science 3573:198-214, Springer-Verlag, 2005.
[Abstract] [Paper]
[BibTeX]
Specifying Compositional Units for Correct Program
Development in Computational Logic.
K.-K. Lau and M. Ornaghi. In
M. Bruynooghe and K.-K. Lau, editors, Program Development in
Computational Logic, Lecture Notes in Computer Science 3049:1-29,
Springer-Verlag, 2004.
[Abstract] [Paper]
[BibTeX]
ICLP'03 Tutorial:
Component-based Software Development and Logic Programming.
K.-K. Lau. In C. Palamidessi, editor,
Proceedings of the Nineteenth
International Conference on Logic Programming, Lecture Notes in Computer
Science 2926:103-108, Springer-Verlag, 2003.
[Abstract] [Paper]
[BibTeX]
Logic Programming for Software Engineering: A Second Chance.
K.-K. Lau and M. Vanden Bossche. In P.J. Stuckey, editor,
Proceedings of the Eighteenth International Conference on Logic
Programming, Lecture Notes in Computer
Science 2401:437-451, Springer-Verlag, 2002.
[Abstract] [Paper]
[BibTeX]
The Role of Logic Programming in Next-generation
Component-based Software Development.
K.-K. Lau.
In G. Gupta and I.V. Ramakrishnan, editors,
Proceedings
of Workshop on Logic Programming and Software Enginering,
London, UK,
July 2000.
[Abstract] [Paper]
[BibTeX]