2411.14579

Total: 1

#1 Functional Array Programming in an Extended Pi-Calculus [PDF] [Copy] [Kimi] [REL]

Authors: Hans Hüttel, Lars Jensen, Chris Oliver Paulsen, Julian Teule

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.

Subjects: Programming Languages , Logic in Computer Science

Publish: 2024-11-21 20:46:23 UTC