Acta Informatica

, Volume 24, Issue 1, pp 57-77

First online:

Partial parametrization eliminates multiple traversals of data structures

  • Masato TakeichiAffiliated withDepartment of Computer Science, The University of Electro-Communications

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access


The use of higher order functions in functional programming opens up the possibility of defining functions by partial parametrization, and lazy evaluation brings out a new approach in programming methodology. This paper describes a new transformation technique based on partial parametrization and fully lazy evaluation for eliminating multiple traversais of data structures. It uses no particular mechanisms in functional programming, whereas it transforms a wider class of programs into efficient ones than that proposed so far.