Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

lithium:sem:CLSS (Article)
Author(s) Marco Aldinucci and Marco Danelutto
Title« Skeleton based parallel programming: functional and parallel semantic in a single shot »
JournalComputer Languages, Systems and Structures
Volume33
Number3-4
Page(s)179-192
Year2007
URLhttp://calvados.di.unipi.it/storage/paper_files/2005_semantics_CLSS.pdf

Annotation

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.

BibTeX code

@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},
}


 Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)

Valid HTML 4.01!