Computer assisted application definition
POPL '75 Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages
English as a very high level language for simulation programming
Proceedings of the ACM SIGPLAN symposium on Very high level languages
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Progress report on program-understanding systems.
Progress report on program-understanding systems.
A hypothetical dialogue exhibiting a knowledge base for a program-understanding system.
A hypothetical dialogue exhibiting a knowledge base for a program-understanding system.
Artificial intelligence and software engineering
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Understanding and Controlling Software Costs
IEEE Transactions on Software Engineering
Automatic programming for streams II: transformational implementation
ICSE '88 Proceedings of the 10th international conference on Software engineering
ICSE '89 Proceedings of the 11th international conference on Software engineering
Analogical approach to specification derivation
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Program Transformation Systems
ACM Computing Surveys (CSUR)
Contemporary software development environments
Communications of the ACM
Automatic Programming for End Users: The TOAD System
IEEE Transactions on Knowledge and Data Engineering
A Survey and a Categorization Scheme of Automatic Programming Systems
GCSE '99 Proceedings of the First International Symposium on Generative and Component-Based Software Engineering
Implementing a Semantic Lexicon
ICCS '99 Proceedings of the 7th International Conference on Conceptual Structures: Standards and Practices
Factored Specifications In The Synthesis Of LISP Functions
ACM '78 Proceedings of the 1978 annual conference
Automatic synthesis—programs and plans
ACM '76 Proceedings of the 1976 annual conference
SPADOR: A scheduler, planner, and administrator of operations and resources
ACM '76 Proceedings of the 1976 annual conference
Proceedings of the SIGNUM Conference on the Programming Environment for Development of Numerical Software
Generalized procedure calling and content-directed invocation
Proceedings of the 1977 symposium on Artificial intelligence and programming languages
A knowledge-based code generator generator
Proceedings of the 1977 symposium on Artificial intelligence and programming languages
The PSI Program Model Builder - synthesis of very high-level programs
Proceedings of the 1977 symposium on Artificial intelligence and programming languages
The selection of efficient implementations for a high-level language
Proceedings of the 1977 symposium on Artificial intelligence and programming languages
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Automatic programming: Automating the software system development process
ACM '77 Proceedings of the 1977 annual conference
A knowledge base organization for rules about programming
ACM SIGART Bulletin
Program inference from traces using multiple knowledge sources
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 2
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 2
A summary of the PSI program synthesis system
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 1
A knowledge-based system for automatic program construction
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 1
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
On program synthesis knowledge
Artificial Intelligence
Using abstraction to automate program improvement by transformation
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Program extrapolation with jennisys
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Hi-index | 0.02 |