Functional Array Programming in an Extended Pi-Calculus
We study the data-parallel language BUTF, inspired by the Futhark language for array programming. We give a translation of BUTF into a version of the pi-calculus with broadcasting and labeled names. The translation is both complete and sound. Moreover, we propose a cost model by annotating translated BUTF processes. This is used for a complexity analysis of the translation.
Authors
- Hans Hüttel (ORCID: https://orcid.org/0000-0002-4603-5407)
- Julian Jorgensen Teule
- Lars Møller Jensen
- Chris Oliver Paulsen
Institutions
- University of Copenhagen (DK)
- Aalborg University (DK)
Publication Details
- Journal
- Electronic Proceedings in Theoretical Computer Science
- Published
- 2024-11-20
- DOI
- https://doi.org/10.4204/eptcs.412.2
- Primary Topic
- Logic, programming, and type systems
- Type
- article
- Field-Weighted Citation Impact
- 0.00