A Type System for Parallel Components
| dc.creator | de Carvalho-Junior, Francisco Heron | |
| dc.creator | Lins, Rafael Dueire | |
| dc.date | 2009-05-21 | |
| dc.date.accessioned | 2026-07-07T13:17:07Z | |
| dc.date.available | 2026-07-07T13:17:07Z | |
| dc.description | 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. | |
| dc.description | Submitted to SBLP 2009 (Brazilian Symposium on Programming Languages) | |
| dc.identifier | https://arxiv.org/abs/0905.3432 | |
| dc.identifier | http://arxiv.org/abs/0905.3432 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/231007 | |
| dc.subject | Programming Languages | |
| dc.title | A Type System for Parallel Components | |
| dc.type | text |