Tutorial on Logic Program Synthesis

A Tutorial on Synthesis of Logic Programs from Specifications.
K.-K. Lau and G. Wiggins. In P. Van Hentenryck, editor, Proceedings of the Eleventh International Conference on Logic Programming, pages 11-14, MIT Press, 1994. Abstract of invited advanced tutorial.
[Abstract] [Paper] [BibTeX]

ICLP'94 Tutorial: Synthesis of Logic Programs.
K.-K. Lau and G. Wiggins. Tutorial notes for invited advanced tutorial at the Eleventh International Conference on Logic Programming, Santa Margherita Ligure, Italy, 13-18 June 1994.
[Slides]

Tutorial on Schema-Guided Generation of Correctly Reusable Programs

ASE'99 Tutorial: Schema-Guided Generation of Correctly Reusable Programs.
P. Flener, K.-K. Lau, M. Ornaghi, and J. Richardson. Tutorial notes for tutorial at the Twelfth IEEE International Automated Software Engineering Conference, Cocoa Beach, Florida, USA, 12-15 October 1999.
[Slides]