Schema-Based Top-Down Design of Logic Programs Using Abstract Data Types

Emmanuil I. Marakakis, John P. Gallagher. Schema-Based Top-Down Design of Logic Programs Using Abstract Data Types. In Laurent Fribourg, Franco Turini, editors, Logic Programming Synthesis and Transformation - Meta-Programming in Logic. 4th Internation Workshops, LOPSTR 94 and META 94, Pisa, Italy, June 20-21, 1994, Proceedings. Volume 883 of Lecture Notes in Computer Science, pages 138-153, Springer, 1994.

Authors

Emmanuil I. Marakakis

This author has not been identified. Look up 'Emmanuil I. Marakakis' in Google

John P. Gallagher

This author has not been identified. It may be one of the following persons: Look up 'John P. Gallagher' in Google