KIDS: A Semiautomatic Program Development System
IEEE Transactions on Software Engineering
Constructing specification morphisms
Journal of Symbolic Computation - Special issue on automatic programming
Journal of Symbolic Computation - Special issue on automatic programming
Efficient Specification-Based Component Retrieval
Automated Software Engineering
Integrity Constraint Reformulation for Efficient Validation
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
A problem reduction approach to program synthesis
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
CYPRESS-Soar: a case study in search and learning in algorithm design
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
Reasoning by cases and the formation of conditional programs
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Hi-index | 0.00 |