Reversible Functional Array Programming

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-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 languageEnglish
Title of host publicationReversible Computation 13th International - 13th International Conference, RC 2021, Proceedings
EditorsShigeru Yamashita, Tetsuo Yokoyama
Number of pages19
PublisherSpringer
Publication date2021
Pages45-63
ISBN (Print)9783030798369
DOIs
Publication statusPublished - 2021
Event13th International Conference on Reversible Computation, RC 2021 - Virtual, Online
Duration: 7 Jul 20218 Jul 2021

Conference

Conference13th International Conference on Reversible Computation, RC 2021
ByVirtual, Online
Periode07/07/202108/07/2021
SeriesLecture Notes in Computer Science
Volume12805
ISSN0302-9743

Bibliographical note

Publisher Copyright:
© 2021, Springer Nature Switzerland AG.

ID: 306679766