Chris Goad
-
Synthesis of Programs in Abstract Data Types
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation