Feb 7, 2007 · We study the question of efficiency improvement or deterioration for a semantics-preserving program transformation technique for (lazy) ...
Formal Efficiency Analysis for Tree Transducer Composition. Author: J. Voigtländer. Published: Technical Report TUD-FI04-08, Technische Universität Dresden ...
Formal Efficiency Analysis for Tree Transducer Composition
www.researchgate.net › publication › 22...
We study the question of efficiency improvement or deterioration for a semantics-preserving program transformation technique for (lazy) functional languages ...
Formal Efficiency Analysis for Tree Transducer Composition. Voigtlander, J. Theory of Computing Systems 41(4): 619-689. ISSN/ISBN: 0041-008X. 2007 ...
Formal Efficiency Analysis for Tree Transducer Composition ... We study the question of efficiency improvement or deterioration for a semantics-preserving program ...
The core of FAST is based on a combination of state-of-the-art satisfiability modulo theories solving techniques and tree automata and tree transducer.
In Sect. 4 we develop our formal efficiency analysis and give the main theorems, with application to tree transducer composition and classical deforestation.
Formal Efficiency Analysis should be: • with respect to call-by-need reduction steps. • input-independent. • based on original program before transformation ...
We study the question of efficiency improvement or deterioration for a semantic-preserving program transformation technique based on macro tree transducer ...
We prove that functionality of compositions of top-down tree transducers is decidable by reducing the problem to the functionality of one top-down tree ...