Novel Models and Languages
Recent parallel programming models that have not yet become accepted, but have properties that make them of interest
- higher abstraction level;
- stronger semantics directed towards software construction and correctness.
-
Two main classes:
- Languages based on predefined structures that have been chosen to have good implementation properties or that are common in applications(restricted computation forms);
- Languages that use a compositional approach - a complex parallel program can be written by composing simple parallel programs while preserving the original proprieties.