Conference item icon

Conference item

Adjoint Folds and Unfolds‚ Or: Scything through the Thicket of Morphisms

Abstract:

Folds and unfolds are at the heart of the algebra of programming. They allow the cognoscenti to derive and manipulate programs rigorously and effectively. Fundamental laws such as fusion codify basic optimisation principles. However, most, if not all, programs require some tweaking to be given the form of an (un-) fold, and thus make them amenable to formal manipulation. In this paper, we remedy the situation by introducing adjoint folds and unfolds. We demonstrate that most programs are alre...

Expand abstract

Actions


Access Document


Authors


Publisher:
Springer Berlin / Heidelberg
Host title:
10th International Conference on Mathematics of Program Construction (MPC '10)
Volume:
6120
Publication date:
2010-01-01
DOI:
UUID:
uuid:ce01fe15-c593-488c-937e-a74377a5ae6e
Local pid:
cs:3998
Deposit date:
2015-03-31

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP