Proving Theorems about LISP Functions
Journal of the ACM (JACM)
Progress report on program-understanding systems.
Progress report on program-understanding systems.
Program construction from examples.
Program construction from examples.
A theorem about automatic programming
ACM SIGART Bulletin
LISP 1.5 Programmer's Manual
Automatic programming: A tutorial on formal methodologies
Journal of Symbolic Computation
A model for self-adaptation in a robot colony
ISMIS '86 Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems
A methodology for synthesis of recursive functional programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Demonstrational Interfaces: A Step Beyond Direct Manipulation
Computer - Special issue on sharing: high performance at low cost
Logic program synthesis from incomplete specifications
Journal of Symbolic Computation - Special issue on automatic programming
Test case generation by means of learning techniques
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
Testing by means of inductive program learning
ACM Transactions on Software Engineering and Methodology (TOSEM)
COLT '96 Proceedings of the ninth annual conference on Computational learning theory
Generalized behavior-based retrieval
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Hardness Results for Learning First-Order Representations and Programming by Demonstration
Machine Learning - Special issue on the ninth annual conference on computational theory (COLT '96)
Inductive Inference: Theory and Methods
ACM Computing Surveys (CSUR)
Some Techniques for Recursion Removal from Recursive Functions
ACM Transactions on Programming Languages and Systems (TOPLAS)
Assessing Test Data Adequacy through Program Inference
ACM Transactions on Programming Languages and Systems (TOPLAS)
Inductive Synthesis of Functional Programs
AISC '02/Calculemus '02 Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Inducing Constructor Systems from Example-Terms by Detecting Syntactical Regularities
Electronic Notes in Theoretical Computer Science (ENTCS)
Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach
The Journal of Machine Learning Research
Shape analysis with inductive recursion synthesis
Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation
Evolutionary program induction directed by logic grammars
Evolutionary Computation
Mechanical construction of a new efficient FLATTEN
ACM Lisp Bulletin
Analytical Inductive Functional Programming
Logic-Based Program Synthesis and Transformation
Learning recursive functions from noisy examples using generic genetic programming
GECCO '96 Proceedings of the 1st annual conference on Genetic and evolutionary computation
An introduction to inductive programming
Artificial Intelligence Review
Pac-learning recursive logic programs: efficient algorithms
Journal of Artificial Intelligence Research
Pac-learning recursive logic programs: negative results
Journal of Artificial Intelligence Research
A learning system able to synthesize arithmetical functions
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 2
Representation and induction of infinite concepts and recursive action sequences
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
Acquiring recursive concepts with explanation-based learning
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
A system which synthesizes array-manipulating programs from specifications
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 1
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 1
I/O guided detection of list catamorphisms: towards problem specific use of program templates in IP
Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation
Oracle-guided component-based program synthesis
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1
Data-Driven Detection of Recursive Program Schemes
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
The practical assessment of test sets with inductive inference techniques
TAIC PART'10 Proceedings of the 5th international academic and industrial conference on Testing - practice and research techniques
Concept of inductive programming supporting anthropomorphic information technology
Journal of Computer and Systems Sciences International
Inductive rule learning on the knowledge level
Cognitive Systems Research
Program extrapolation with jennisys
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Synthesis modulo recursive functions
Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications
CAV'13 Proceedings of the 25th international conference on Computer Aided Verification
| Hi-index | 0.00 |
An automatic programming system, THESYS, for constructing recursive LISP programs from examples of what they do is described. The construction methodology is illustrated as a series of transformations from the set of examples to a program satisfying the examples. The transformations consist of (1) deriving the specific computation associated with a specific example, (2) deriving control flow predicates, and (3) deriving an equivalent program specification in the form of recurrence relations. Equivalence between certain recurrence relations and various program schemata is proved. A detailed description of the construction of four programs is presented to illustrate the application of the methodology.