Journal article icon

Journal article

Adjoint folds and unfolds-An extended study

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. However, most, if not all, programs require some tweaking to be given the form of an (un)fold. In this article, we remedy the situation by introducing adjoint (un)folds. We demonstrate that most programs are already of the required form and thus are directly amenable to formal manipulation. Central to the development is the categorical noti...

Expand abstract
Publication status:
Published

Actions


Access Document


Publisher copy:
10.1016/j.scico.2012.07.011

Authors


Journal:
SCIENCE OF COMPUTER PROGRAMMING
Volume:
78
Issue:
11
Pages:
2108-2159
Publication date:
2013-11-01
DOI:
ISSN:
0167-6423
URN:
uuid:76d9377c-164a-49c3-8b0a-daca7cfb6ba6
Source identifiers:
351271
Local pid:
pubs:351271

Terms of use


Metrics


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