You are here:
(18 Mar 2011,
Date: 2011-03-24 Time: 11:00 Room: [[http://www.cs.uu.nl/docs/reach/bbl.php][BBL]] [[http://www.cs.uu.nl/info/plan/bbl.php]] ----+++++ Speaker: Facundo Domínguez ----+++++ Title: Exploiting Algebra/Coalgebra Duality for Program Fusion Extensions ----+++++ Abstract In this talk I'm presenting a reformulation of algorithms for optimizing functional programs through a fusion technique based on the so-called Acid Rain laws. The reformulation sheds a new perspective which simplifies significantly the extensions to cope with programs involving mutually recursive definitions and recursion over multiple arguments. The work is based on a recursion scheme known as hylomorphism but other fusion techniques based on Acid Rain may benefit from the results. In particular I will be discussing some issues about Acid Rain laws which can only be appreciated once some of the extensions are considered. Our algorithms are implemented as part of a fusion tool called HFusion.
ore topic actions
Topic revision: r1 - 18 Mar 2011,
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding UUCS?