Composition of functions with accumulating parameters
From MaRDI portal
Publication:4669644
DOI10.1017/S0956796803004933zbMath1092.68557OpenAlexW1727820016MaRDI QIDQ4669644
Armin Kühnemann, Janis Voigtländer
Publication date: 15 April 2005
Published in: Journal of Functional Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0956796803004933
Related Items (8)
Decision Problems of Tree Transducers with Origin ⋮ Decision problems of tree transducers with origin ⋮ Deaccumulation techniques for improving provability ⋮ Attribute grammars as tree transducers over cyclic representations of infinite trees and their descriptional composition ⋮ Algebraic fusion of functions with an accumulating parameter and its improvement ⋮ Manipulating accumulative functions by swapping call-time and return-time computations ⋮ Polynomial-time inverse computation for accumulative functions with multiple data traversals ⋮ Composing stack-attributed tree transducers
Uses Software
This page was built for publication: Composition of functions with accumulating parameters
