Sciweavers

CL
2007
Springer

Skeleton-based parallel programming: Functional and parallel semantics in a single shot

13 years 10 months ago
Skeleton-based parallel programming: Functional and parallel semantics in a single shot
Semanticsofskeleton-basedparallelprogramminglanguagescomesusuallyastwodistinctitems:afunctionalsemantics,modeling the function computed by the skeleton program, and a parallel semantics describing the ways used to exploit parallelism during the execution of the skeleton program. The former is usually expressed using some kind of semantic formalism, while the latter is almost always given in an informal way. Such a separation of functional and parallel semantics seriously impairs the possibility of programmers to use the semantic tools to prove properties of programs. In this work, we show how a formal semantic framework can be set up that handles both functional and parallel aspects of skeleton-based parallel programs. The framework is based on a labeled transition system. We show how different properties related to skeleton programs can be proved using such a system. We use Lithium, a skeleton-based full Java parallel programming environment, as the case study. © 2006 Elsevier Ltd. ...
Marco Aldinucci, Marco Danelutto
Added 12 Dec 2010
Updated 12 Dec 2010
Type Journal
Year 2007
Where CL
Authors Marco Aldinucci, Marco Danelutto
Comments (0)