Artificial intelligence and software engineering
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Automatic Question-Answering of English-Like Questions About Simple Diagrams
Journal of the ACM (JACM)
An Assessment of Techniques for Proving Program Correctness
ACM Computing Surveys (CSUR)
Toward automatic program synthesis
Communications of the ACM
The role of programming in a Ph.D. computer science program
Communications of the ACM
The structure of programming languages
Communications of the ACM
Experiments with a deductive question-answering program
Communications of the ACM
DAC '73 Proceedings of the 10th Design Automation Workshop
A knowledge-based code generator generator
Proceedings of the 1977 symposium on Artificial intelligence and programming languages
Encyclopedia of Computer Science
A laboratory for the study of automating programming
ACM SIGSAM Bulletin
An approach to automatic deductive synthesis of functional programs
Annals of Mathematics and Artificial Intelligence
Speeding up the Synthesis of Programs from Traces
IEEE Transactions on Computers
Syntactic analysis of English by computer: a survey
AFIPS '63 (Fall) Proceedings of the November 12-14, 1963, fall joint computer conference
Experiments with a theorem-utilizing program
AFIPS '64 (Spring) Proceedings of the April 21-23, 1964, spring joint computer conference
A laboratory for the study of automating programming
AFIPS '72 (Spring) Proceedings of the May 16-18, 1972, spring joint computer conference
A concurrent automatic programming system
Proceedings of the 46th Annual Southeast Regional Conference on XX
Challenge to artificial intelligence: programming problems to be solved
IJCAI'71 Proceedings of the 2nd international joint conference on Artificial intelligence
A model for functional reasoning in design
IJCAI'71 Proceedings of the 2nd international joint conference on Artificial intelligence
Application of theorem proving to problem solving
IJCAI'69 Proceedings of the 1st international joint conference on Artificial intelligence
PROW: a step toward automatic program writing
IJCAI'69 Proceedings of the 1st international joint conference on Artificial intelligence
Knowledge and reasoning in program synthesis
IJCAI'75 Proceedings of the 4th international joint conference on Artificial intelligence - Volume 1
Artificial intelligence and automatic programming in CAI
IJCAI'73 Proceedings of the 3rd international joint conference on Artificial intelligence
The roles of knowledge and deduction in program synthesis
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 1
Automatic deductive synthesis of lisp programs in the system ALISA
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
| Hi-index | 0.07 |