Composition of functions with accumulating parameters
From MaRDI portal
Recommendations
- Relating accumulative and non-accumulative functional programs
- Formal efficiency analysis for tree transducer composition
- Conditions for efficiency improvement by tree transducer composition
- Using circular programs to deforest in accumulating parameters
- On deforesting parameters of accumulating maps
Cited in
(19)- Decision problems of tree transducers with origin
- Using circular programs to deforest in accumulating parameters
- Composing stack-attributed tree transducers
- Comparison of deforestation techniques for functional programs and for tree transducers
- Shortcut fusion for accumulating parameters & zip-like functions
- Functions of limited accumulation
- Relating accumulative and non-accumulative functional programs
- Composition with inner functions
- Decision problems of tree transducers with origin
- Algebraic fusion of functions with an accumulating parameter and its improvement
- Attribute grammars as tree transducers over cyclic representations of infinite trees and their descriptional composition
- Reverse aumulation and imploicit functions
- Conditions for efficiency improvement by tree transducer composition
- On deforesting parameters of accumulating maps
- Syntactic composition of top-down tree transducers is short cut fusion
- Polynomial-time inverse computation for accumulative functions with multiple data traversals
- Manipulating accumulative functions by swapping call-time and return-time computations
- Composition of Inner Functions
- Deaccumulation techniques for improving provability
This page was built for publication: Composition of functions with accumulating parameters
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4669644)
