Automatic synthesis of XSL-transformations from example documents

Proceedings of the IASTED International Conference. Applied Informatics

Volumn , Issue , 2004, Pages 252-257

  Schmid, Ute ^a   Waltermann, Jens ^a  

^a UNIVERSITY OF OSNABRÜCK   (Germany)

Author keywords

Inductive Program Synthesis; Machine Learning; Recursive Templates; XML

Indexed keywords

ALGORITHMS; DATABASE SYSTEMS; MATHEMATICAL TRANSFORMATIONS; SERVERS; WEB BROWSERS; XML;

GENETIC PROGRAMMING; INDUCTIVE LOGIC PROGRAMMING (ILP); INDUCTIVE PROGRAM SYNTHESIS; RECURSIVE TEMPLATES;

PROGRAM DOCUMENTATION;

EID: 11144250217     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (13)

1. A. W. Biermann, G. Guiho, and Y. Kodratoff, editors. Automatic Program Construction Techniques. Macmillan, New York, 1984.
2. P. Flener and S. Yilmaz. Inductive synthesis of recursive logic programs: Achievements and prospects. Journal of Logic Programming, 41(2-3):141-195, 1999.
3. J. Koza. Genetic programming: On the programming of computers by means of natural selection. MIT Press, Cambridge, MA, 1992.
4. G. Le Blanc. BMWk revisited: Generalization and formalization of an algorithm for detecting recursive relations in term sequences. In F. Bergadano and L. de Raedt, editors, ECML-94, pages 183-197. Springer, 1994.
5. H. Lieberman. Tinker: A programming by demonstration system for beginning programmers. In A. Cypher, editor, Watch What I Do: Programming by Demonstration, chapter 2. MIT Press, Cambridge, MA, 1993.
6. D. Novatchev. The functional programming language XSLT - A proof through examples, http://www.topxml.com/xsl/articles/fp, November 2001.
7. Roland Olsson. Inductive functional programming using incremental program transformation. Artificial Intelligence, 74(1):55-83, March 1995.
8. U. Schmid and F. Wysotzki. Applying inductive programm synthesis to macro learning. In AIPS 2000, pages 371-378. AAAI Press, 2000.
9. Ute Schmid. Inductive Synthesis of Functional Programs - Learning Domain-Specific Control Rules and Abstract Schemes, volume LNAI 2654. Springer, 2003.
10. A. T. Schreiner. XML - Architecture, tools, techniques. Scriptum, RIT, Rochester, NY, chap. 8, http://www.cs.rit.edu/~ats/xml-2001-3/, 2003.
11. S. Schrödl and S. Edelkamp. Inferring flow of control in program synthesis by example. In Proc. Annual German Conference on Artificial Intelligence (KI'99), Bonn, LNAI, pages 171-182. Springer, 1999.
12. P. D. Summers. A methodology for LISP program construction from examples. Journal ACM, 24(1):162-175, 1977.
13. Jens Waltermann. Induktive Synthese von rekursiven XSL Transformationen. Master's thesis, Department of Mathematics and Computer Science, University Osnabrück, 2003.