Formal efficiency analysis for tree transducer composition

DOI10.1007/S00224-006-1235-9zbMath1148.68014OpenAlexW2098942514MaRDI QIDQ2464335

Janis Voigtländer

Publication date: 19 December 2007

Published in: Theory of Computing Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00224-006-1235-9

zbMATH Keywords

functional languagesrestricted macro tree transducers

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (1)

Algebraic fusion of functions with an accumulating parameter and its improvement

This page was built for publication: Formal efficiency analysis for tree transducer composition