A Type System for Parallel Components

Details A Type System for Parallel Components A Type System for Parallel Components

2009-05-21

arxiv.org/abs/0905.3432v1

Computer Science

Programming Languages

Submitted to SBLP 2009 (Brazilian Symposium on Programming Languages)

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

A Type System for Parallel Components does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with A Type System for Parallel Components, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A Type System for Parallel Components will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-444657