Conference item icon

Conference item

Upwards and Downwards Accumulations on Trees

Abstract:

An accumulation\\/ is a higher-order operation over structured objects of some type; it leaves the shape of an object unchanged, but replaces each element of that object with some accumulated information about the other elements. Upwards and downwards accumulations on trees are two instances of this scheme; they replace each element of a tree with some function—in fact, some homomorphism—of that element's descendants and of its ancestors, respectively. These two operations can be thought of ...

Expand abstract

Actions


Authors


More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author
Publisher:
Springer−Verlag
Volume:
669
Host title:
Mathematics of Program Construction
Publication date:
1993-01-01
UUID:
uuid:7ebaaf0a-008c-4e6b-9be0-d38290fb3565
Local pid:
cs:2367
Deposit date:
2015-03-12

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