Kitzelmann, Emanuel ; Schmid, Ute:
Inducing Constructor Systems from Example Terms by Detecting Syntactical Regularities
.
In: Electronic Notes in Theoretical Computer Science 174 (2007), Nr. 1, S. 49-63
Stichwörter:
inductive program synthesis; rule-based programming; functional programming; constructor systems
[doi>10.1016/j.entcs.2006.11.015]
|
|