Top-down synthesis of divide-and-conquer algorithms
Artificial Intelligence
KIDS: A Semiautomatic Program Development System
IEEE Transactions on Software Engineering
A minimal extension of the WAM for clp(FD)
ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
Correct-schema-guided synthesis of steadfast programs
ASE '97 Proceedings of the 12th international conference on Automated software engineering (formerly: KBSE)
Schema-Guided Synthesis of Constraint Logic Programs
ASE '98 Proceedings of the 13th IEEE international conference on Automated software engineering
Hi-index | 0.00 |