Abstract
In this chapter we present our approach to folding finite program terms in recursive programs. That is, we address inductive program synthesis from traces. This problem is researched in inductive synthesis of functional programs - as second step of synthesis - and in programming by demonstration (see chap. 6). Traces can be provided to the system by the system user, they can be recorded from interactions of a user with a program, or they can be constructed over a set of input/output examples. In the next chapter (chap. 8) we will describe how finite programs can be generated by planning. Folding of finite programs into recursive programs is a complex problem itself. Our approach allows to fold recursive programs which can be characterized by sets of context-free term rewrite rules. It allows to infer programs consisting of a set of recursive equations, and to deal with interdependent and hidden parameters. Traces can be generic or over instantiated parameters and they can contain incomplete paths. That is, at least for the second step of program synthesis, our approach is more powerful than other approaches discussed in literature (see sect. 6.3 in chap. 6).
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Schmid, U. (2003). 7. Folding of Finite Program Terms. In: Inductive Synthesis of Functional Programs. Lecture Notes in Computer Science(), vol 2654. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-44846-4_7
Download citation
DOI: https://doi.org/10.1007/978-3-540-44846-4_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40174-2
Online ISBN: 978-3-540-44846-4
eBook Packages: Springer Book Archive