Reversible Functional Array Programming
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Functional array programming is a style of programming that enables massive parallelism through use of combinators (such as map and reduce) that apply functions to whole arrays. These can be readily parallelised when the functions these combinators are applied to are pure and, in some cases, also associative. We introduce reversible variants of well-known array combinators and show how these can be implemented in parallel using only reversible operations and without accumulating garbage. We introduce a simple reversible functional array programming language, Agni, and show some examples of use.
Original language | English |
---|---|
Title of host publication | Reversible Computation 13th International - 13th International Conference, RC 2021, Proceedings |
Editors | Shigeru Yamashita, Tetsuo Yokoyama |
Number of pages | 19 |
Publisher | Springer |
Publication date | 2021 |
Pages | 45-63 |
ISBN (Print) | 9783030798369 |
DOIs | |
Publication status | Published - 2021 |
Event | 13th International Conference on Reversible Computation, RC 2021 - Virtual, Online Duration: 7 Jul 2021 → 8 Jul 2021 |
Conference
Conference | 13th International Conference on Reversible Computation, RC 2021 |
---|---|
By | Virtual, Online |
Periode | 07/07/2021 → 08/07/2021 |
Series | Lecture Notes in Computer Science |
---|---|
Volume | 12805 |
ISSN | 0302-9743 |
Bibliographical note
Publisher Copyright:
© 2021, Springer Nature Switzerland AG.
ID: 306679766