Functional Array Programming in an Extended Pi-Calculus
Fuente:
arXiv
Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866912130177957888 |
|---|---|
| author | Hüttel, Hans Jensen, Lars Paulsen, Chris Oliver Teule, Julian |
| author_facet | Hüttel, Hans Jensen, Lars Paulsen, Chris Oliver Teule, Julian |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2411_14579 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Functional Array Programming in an Extended Pi-Calculus Hüttel, Hans Jensen, Lars Paulsen, Chris Oliver Teule, Julian Programming Languages Logic in Computer Science 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. |
| title | Functional Array Programming in an Extended Pi-Calculus |
| topic | Programming Languages Logic in Computer Science |
| url | https://arxiv.org/abs/2411.14579 |