Generic downwards accumulations

Authors
Gibbons, J
Citation
J. Gibbons, Generic downwards accumulations, SCI COMP PR, 37(1-3), 2000, pp. 37-65
Citations number
23
Categorie Soggetti
Computer Science & Engineering
Journal title
SCIENCE OF COMPUTER PROGRAMMING
ISSN journal
01676423 → ACNP
Volume
37
Issue
1-3
Year of publication
2000
Pages
37 - 65
Database
ISI
SICI code
0167-6423(200005)37:1-3<37:GDA>2.0.ZU;2-1
Abstract
A downwards accumulation is a higher-order operation that distributes infor mation downwards through a data structure, from the root towards the leaves . The concept was originally introduced in an ad hoc way for just a couple of kinds of tree. We generalize the concept to an arbitrary regular datatyp e; the resulting definition is co-inductive. (C) 2000 Elsevier Science B.V. All rights reserved.