Istituto di Scienza e Tecnologie dell'Informazione     
Aldinucci M., Danelutto M. An operational semantics for skeletons. In: ParCo2003 - Parallel Computing: Software Technology, Algorithms, Architectures and Applications (Dresden, Germany, September 2003). Proceedings, G.R. Joubert, W.E. Nagel, F.J. Peters, W.V. Walter (eds.). (Advances in Parallel Computing). Elsevier, 2004.
A major weakness of the current programming systems based on skeletons is that parallel semantics is usually provided in an informal way, thus preventing any formal comparison about program behavior. We describe a schema suitable for the description of both functional and parallel semantics of skeletal languages which is aimed at filling this gap. The proposed schema of semantics represents a handy framework to prove the correctness and validate different rewriting rules. These can be used to transform a skeleton program into a functionally equivalent but possibly faster version.
URL: http://www.di.unipi.it/~aldinuc/papers.htm
Subject Skeletons
Operational semantics
Parallel programming languages
D.3.1 Formal Definitions and Theory
D.3.2 Language Classifications
F.1.2 Modes of Computation
F.4.2 Grammars and Other Rewriting Systems

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional