Soundness and completeness of a synthesis algorithm based on example computations
Journal of the ACM (JACM)
Visual programming, programming by example, and program visualization: a taxonomy
CHI '86 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
A basis for the acquisition of procedures from protocols
IJCAI'75 Proceedings of the 4th international joint conference on Artificial intelligence - Volume 1
Hi-index | 0.00 |