A Theoretical Framework of Data Parallelism and Its Operational Semantics

Authors:
Philippe Gerner;Eric Violard
Affiliations:
-;-
Venue:
Euro-Par '00 Proceedings from the 6th International Euro-Par Conference on Parallel Processing
Year:
2000

Citing 3
Cited 0

Introduction to parallel computing: design and analysis of algorithms

Introduction to parallel computing: design and analysis of algorithms
A semantics for shape

ESOP '94 Selected papers of ESOP '94, the 5th European symposium on Programming
Data Parallelism and Functional Programming

The Data Parallel Programming Model: Foundations, HPF Realization, and Scientific Applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

We developed a theory in order to address crucial questions of programde sign methodology. We think that it could unify two concepts of data parallel programming that we consider fundamental as they concern data locality expression: the notions of alignment in HPF and shape in C*. In this article, we aim at exploring the impact of program transformations on efficiency. For this, we define a formal operational semantics associated with the aforementioned theory.