A knowledge-based problem-specific program generator
ACM SIGPLAN Notices
Synthesizing abstract data type specifications
ACM-SE 20 Proceedings of the 20th annual Southeast regional conference
Research on synthesis of concurrent computing systems (Extended Abstract)
ISCA '83 Proceedings of the 10th annual international symposium on Computer architecture
Results in knowledge based program synthesis
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 1
A knowledge-based approach to using efficiency estimation in program synthesis
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 1
| Hi-index | 0.00 |