A Top-down Methodology

Synthesis of a Family of Recursive Sorting Procedures.
K.-K. Lau and S.D.Prestwich. In V. Saraswat and K. Ueda, editors, Proceedings of the 1991 International Logic Programming Symposium, pages 641-658, MIT Press, 1991.
[Abstract] [Paper] [BibTeX]

Top-down Synthesis of Recursive Logic Procedures from First-order Logic Specifications.
K.-K. Lau and S.D. Prestwich. In D.H.D. Warren and P. Szeredi, editors, Proceedings of the Seventh International Conference on Logic Programming, pages 667-684, MIT Press, 1990.
[Abstract] [Paper] [BibTeX]

Back to Kung-Kiu Lau's home page