Automatische Generierung von rekursiven Programmen aus Beispielen als Anwendung der induktiven Programmsynthese auf XSL

Diplomarbeit
von Jens Waltermann,
Uni-Osnabrück,
Feb. 2003


Link zur Arbeit:

pdf

Zu den Quellen der implementierten Programme

Transformation:
Automatische Generierung:
Faltung :
SRC

Zu weiteren Quellen

Saxxon: saxon HP
IFC-Vortrag vom 7.04.03 an der Universität Osnabrück PowerPoint (ppt)
weitere Papers: icml03 (pdf)