Automatic Synthesis of XSL-Transformations from Example Documents

U. Schmid and J. Waltermann (Germany)


Machine Learning, Inductive Program Synthesis, XML, Recursive Templates


We present an application of inductive program synthe sis to learning XSL transformations (XSLT) with recur sive template application. Since XML and XSLT are term languages, we use an approach to inductive synthesis of functional programs. Synthesis is divided in two steps: First, a straight-forward, non-recursive program is gener ated which transforms a given set of input examples into the desired outputs; second, the straight-forward program is folded into a generalized recursive program based on re currence detection. For our application, starting point is a single input/output example, that is, an XML document in its given form as input and in its desired form as output. A non-recursive XSLT is constructed via genetic program ming. To apply our folding algorithm, the transformation is rewritten in standard term form. The resulting recursive XSLT is transformed back into XSL syntax.

Important Links:

Go Back