Steadfast Logic Programs.
K.-K. Lau, M. Ornaghi, and S.-Å Tärnlund. Journal of
Logic Programming 38(3):259-294, March 1999.
[Abstract] [Paper] [BibTeX]
Correct-schema-guided Synthesis of Steadfast Programs.
P. Flener, K.-K. Lau, and M. Ornaghi. In Proceedings of the Twelfth IEEE
International Automated Software Engineering Conference, pages
153-160, IEEE Computer Society, 1997.
[Abstract] [Paper]
[BibTeX]
The
Halting Problem for Deductive Synthesis of Logic Programs.
K.-K. Lau, M. Ornaghi, and S.-Å Tärnlund. In P. Van
Hentenryck, editor, Proceedings of the Eleventh International
Conference on Logic Programming, pages 665-683, MIT Press,
1994.
[Abstract] [Paper]
[BibTeX]