ISSN: 1477-8424
Abstract |
Semantics of skeleton-based parallel programming languages comes usually as two distinct items: a functional semantics, 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. |
@article{lithium:sem:CLSS,
volume = {33},
number = {3-4},
month = oct,
author = {Marco Aldinucci and Marco Danelutto},
url = {http://calvados.di.unipi.it/storage/paper_files/2005_semantics_CLSS.pdf},
abstract = {Semantics of skeleton-based parallel programming languages comes
usually as two distinct items: a functional semantics, 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.},
title = {Skeleton based parallel programming: functional and parallel semantic
in a single shot},
annote = {ISSN: 1477-8424},
year = {2007},
pages = {179-192},
journal = {Computer Languages, Systems and Structures},
}
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)