On deforesting parameters of accumulating maps

DOI10.1007/3-540-45607-4_3MaRDI QIDQ4808807zbMATH OpenFDO

Authors Kazuhiko Kakehi, Robert Glück, Yoshihiko Futamura

Publication date 12 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2372/23720046.htm

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Using circular programs to deforest in accumulating parameters
• Composition of functions with accumulating parameters
• Comparison of deforestation techniques for functional programs and for tree transducers
• scientific article; zbMATH DE number 5033862
• Relating accumulative and non-accumulative functional programs

Cited in

(2)

• Using circular programs to deforest in accumulating parameters
• Composition of functions with accumulating parameters

This page was built for publication: On deforesting parameters of accumulating maps

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4808807)