Name
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. |
Year | Venue | Keywords |
|---|---|---|
2009 | Clinical Orthopaedics and Related Research | type system,component model,programming language |
Field | DocType | Volume |
Procedural programming,Functional logic programming,Functional reactive programming,Programming language,Programming paradigm,Computer science,Inductive programming,Theoretical computer science,Parallel programming model,Reactive programming,Higher-order programming | Journal | abs/0905.3 |
Citations | PageRank | References |
1 | 0.37 | 8 |
Authors | ||
2 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Francisco Heron de Carvalho-Junior | 1 | 49 | 14.05 |
| Rafael Dueire Lins | 2 | 571 | 75.79 |