A Type System for Parallel Components
Abstract
The # component model was proposed to improve the practice of parallel programming. This paper introduces a type system for # programming systems, aiming to lift the abstraction and safety of programming for parallel computing architectures by introducing a notion of abstract component based on universal and existential bounded quantification. Issues about the implementation of such type system in HPE, a # programming system, are also discussed.
- Publication:
-
arXiv e-prints
- Pub Date:
- May 2009
- DOI:
- 10.48550/arXiv.0905.3432
- arXiv:
- arXiv:0905.3432
- Bibcode:
- 2009arXiv0905.3432H
- Keywords:
-
- Computer Science - Programming Languages
- E-Print:
- Submitted to SBLP 2009 (Brazilian Symposium on Programming Languages)