Logic Programming and Component-based Software Development

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]


Back to Kung-Kiu Lau's home page