6 research outputs found
Declarative Program Transformation: a Deforestation case-study
Software engineering has to reconcile modularity with e- ciency. One way to grapple with this dilemma is to automatically transform a modular-specied program into an ecient-implementable one