Download PDFOpen PDF in browserTurchin's Relation and Subsequence Relation in Loop Approximation13 pages•Published: July 28, 2014AbstractThe paper studies the subsequence relation through a notion of an intransitive binary relation on words in traces generated by prefix-rewriting systems. The relation was introduced in 1988 by V.F. Turchin for loop approximation in supercompilation. We study properties of this relation and introduce some refinements of the subsequence relation that inherit the useful features of Turchin's relation.Keyphrases: almost well relation, higman embedding, loop approximation, program transformation, supercompilation In: Irina Virbitskaite and Andrei Voronkov (editors). PSI 2014. Ershov Informatics Conference, vol 23, pages 30-42.
|