A Type System for Parallel Components
Programming Languages
2009-05-22 v1
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.
Cite
@article{arxiv.0905.3432,
title = {A Type System for Parallel Components},
author = {Francisco Heron de Carvalho-Junior and Rafael Dueire Lins},
journal= {arXiv preprint arXiv:0905.3432},
year = {2009}
}
Comments
Submitted to SBLP 2009 (Brazilian Symposium on Programming Languages)