Reversible Functional Array Programming
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
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.
Originalsprog | Engelsk |
---|---|
Titel | Reversible Computation 13th International - 13th International Conference, RC 2021, Proceedings |
Redaktører | Shigeru Yamashita, Tetsuo Yokoyama |
Antal sider | 19 |
Forlag | Springer |
Publikationsdato | 2021 |
Sider | 45-63 |
ISBN (Trykt) | 9783030798369 |
DOI | |
Status | Udgivet - 2021 |
Begivenhed | 13th International Conference on Reversible Computation, RC 2021 - Virtual, Online Varighed: 7 jul. 2021 → 8 jul. 2021 |
Konference
Konference | 13th International Conference on Reversible Computation, RC 2021 |
---|---|
By | Virtual, Online |
Periode | 07/07/2021 → 08/07/2021 |
Navn | Lecture Notes in Computer Science |
---|---|
Vol/bind | 12805 |
ISSN | 0302-9743 |
Bibliografisk note
Publisher Copyright:
© 2021, Springer Nature Switzerland AG.
ID: 306679766