Compiling High-Level Type Constructors in Constraint Programming
PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
A Meta-heuristic for Subset Problems
PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
Schema-Guided Synthesis of CLP Programs
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis
Automated Software Engineering
Hi-index | 0.00 |