Reversible Functional Array Programming

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfæ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.

OriginalsprogEngelsk
TitelReversible Computation 13th International - 13th International Conference, RC 2021, Proceedings
RedaktørerShigeru Yamashita, Tetsuo Yokoyama
Antal sider19
ForlagSpringer
Publikationsdato2021
Sider45-63
ISBN (Trykt)9783030798369
DOI
StatusUdgivet - 2021
Begivenhed13th International Conference on Reversible Computation, RC 2021 - Virtual, Online
Varighed: 7 jul. 20218 jul. 2021

Konference

Konference13th International Conference on Reversible Computation, RC 2021
ByVirtual, Online
Periode07/07/202108/07/2021
NavnLecture Notes in Computer Science
Vol/bind12805
ISSN0302-9743

Bibliografisk note

Publisher Copyright:
© 2021, Springer Nature Switzerland AG.

ID: 306679766