Kitzelmann, Emanuel:
Analytical Inductive Functional Programming
.
In: Hanus, Michael (Hrsg.) : Pre-Proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2008)
(18th International Symposium on Logic-Based Program Synthesis and Transformation, Valencia, Spain, July, 2008).
2008, S. 166-180.
Stichwörter:
inductive programming; igor2; program synthesis; term rewriting
|
|