I/O guided detection of list catamorphisms: Towards problem specific use of program templates in IP

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation

Volumn , Issue , 2010, Pages 93-100

  Hofmann, Martin ^a   Kitzelmann, Emanuel ^a  

^a UNIVERSITY OF BAMBERG   (Germany)

Author keywords

Haskell; Higher order functions; Igor II; Inductive programming; Program schemes

Indexed keywords

COMPLEX PROBLEMS; EXPERT USERS; HASKELL; HIGHER-ORDER FUNCTIONS; INPUT/OUTPUT; PROGRAM SCHEMES; PROGRAM TEMPLATES; SEARCH SPACES; UNIVERSAL PROPERTIES;

TECHNICAL PRESENTATIONS;

COMPUTER SOFTWARE SELECTION AND EVALUATION;

EID: 77950881899     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1706356.1706375     Document Type: Conference Paper

References (25)

1. R. C. Backhouse, P. Jansson, J. Jeuring, and L. G. L. T. Meertens. Generic programming: An introduction. In Advanced Functional Programming, pages 28-115, 1998.
2. A. W. Biermann, Y. Kodratoff, and G. Guiho. Automatic Program Construction Techniques. The Free Press, NY, USA, 1984. ISBN 0029490707.
3. F. Binard and A. Felty. Genetic programming with polymorphic types and higher-order functions. In GECCO '08: Proceedings of the 10th annual conference on Genetic and evolutionary computation, pages 1187-1194, New York, NY, USA, 2008. ACM. ISBN 978-1-60558-130-9.
4. P. Flener. Inductive Logic Program Synthesis with Dialogs. In S. Muggleton, editor, Proceedings of the 6th International Workshop on Inductive Logic Programming, pages 28-51. Stockholm University, Royal Institute of Technology, 1996.
5. J. Hernández-Orallo and M. J. Ramírez-Quintana. Inverse narrowing for the induction of functional logic programs. In J. L. Freire-Nistal, M. Falaschi, and M. V. Ferro, editors, Joint Conference on Declarative Programming, pages 379-392, 1998.
6. M. Hofmann. Automatic Construction of XSL Templates - An Inductive Programming Approach. ISBN: 978-3-639-00194-5. VDM Verlag, Saarbrücken, 2007.
7. M. Hofmann, E. Kitzelmann, and U. Schmid. A unifying framework for analysis and evaluation of inductive programming systems. In B. Goertzel, P. Hitzler, and M. Hutter, editors, Second Conference on Artificial General Intelligence, pages 55-60. Atlantis Press, 2009.
8. G. Hutton. A tutorial on the universality and expressiveness of fold. J. Funct. Program., 9(4):355-372, 1999. ISSN 0956-7968.
9. S. Katayama. Systematic search for lambda expressions. In M. C. J. D. van Eekelen, editor, Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, TFP 2005, volume 6, pages 111-126. Intellect, 2007.
10. E. Kitzelmann. Data-driven induction of recursive functions from I/O-examples. In E. Kitzelmann and U. Schmid, editors, Proceedings of the ECML/PKDD 2007 Workshop on Approaches and Applications of Inductive Programming (AAIP'07), pages 15-26, 2007.
11. E. Kitzelmann. Analytical inductive functional programming. In m. Hanus, editor, Proceedings of th 18th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2008, Valencia, Spain), volume 5438 of LNCS, pages 87-102. Springer, 2008.
12. E. Kitzelmann and U. Schmid. Inductive synthesis of functional programs: An explanation based generalization approach. Journal of Machine Learning Research, 7:429-454, 2006. ISSN 1533-7928.
13. G. Malcolm. Data structures and program transformation. Sci. Comput. Program., 14(2-3):255-279, 1990. ISSN 0167-6423.
14. E. Meijer, M. Fokkinga, and R. Paterson. Functional programming with bananas, lenses, envelopes and barbed wire. In Proceedings of the 5. Conference on Functional Programming Languages and Computer Architecture, pages 124-144. Springer-Verlag, 1991.
15. T. M. Mitchell. Machine Learning. McGraw-Hill Higher Education, 1997. ISBN 0070428077.
16. O. Monakhov. Evolutionary synthesis of algorithms based on templates. Optoelectronics, Instrumentation and Data Processing, Optoelectronics, Instrumentation and Data Processing, 2006,.
17. S. Muggleton. Inverse entailment and Progol. New Generation Computing, Special issue on Inductive Logic Programming, 13(3-4): 245-286, 1995.
18. S. Muggleton and C. Feng. Efficient induction of logic programs. In Proceedings of the 1st Conference on Algorithmic Learning Theory, pages 368-381. Ohmsma, Tokyo, Japan, 1990.
19. R. J. Olsson. Inductive functional programming using incremental program transformation. Artificial Intelligence, 74(1):55-83, 1995.
20. G. Plotkin. A note on inductive generalisation. In B. Meltzer and D. Michie, editors, Machine Intelligence 5, pages 153-163. Edinburgh University Press, Edinburgh, 1969.
21. J. R. Quinlan. Learning first-order definitions of functions. Journal of Artificial Intelligence Research, 5:139-161, 1996.
22. P. D. Summers. A methodology for LISP program construction from examples. Journal ACM, 24:162-175, 1977.
23. Terese. Term Rewriting Systems, volume 55 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 2003.
24. S. Yilmaz. Inductive synthesis of recursive logic programs. Master's thesis, University of Bilkent, Computer Science Department, 1997.
25. T. Yu. A higher-order function approach to evolve recursive programs. In T. Yu, R. L. Riolo, and B. Worzel, editors, Genetic Programming Theory and Practice III, volume 9 of Genetic Programming, chapter 7, pages 93-108. Springer, Ann Arbor, 12-14 May 2005. ISBN 0-387- 28110-X.