| lith:sem:parco:03 (In proceedings)
|
| Author(s) | Marco Aldinucci and Marco Danelutto |
| Title | « An operational semantics for skeletons » |
| In | Parallel Computing: Software Technology, Algorithms, Architectures and Applications (Proc. of PARCO 2003, Dresden, Germany) |
| Series | Advances in Parallel Computing |
| Editor(s) | G. R. Joubert, W. E. Nagel, F. J. Peters and W. V. Walter |
| Volume | 13 |
| Page(s) | 63-70 |
| Year | 2004 |
| Publisher | Elsevier |
| Address | Germany |
| URL | http://calvados.di.unipi.it/storage/paper_files/2004_sem_parco03.pdf |
| Abstract |
| 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. |
@inproceedings{lith:sem:parco:03,
volume = {13},
author = {Marco Aldinucci and Marco Danelutto},
series = {Advances in Parallel Computing},
booktitle = {Parallel Computing: Software Technology, Algorithms,
Architectures and Applications (Proc. of {PARCO 2003}, Dresden,
Germany)},
editor = {G. R. Joubert and W. E. Nagel and F. J. Peters and W. V. Walter},
url = {http://calvados.di.unipi.it/storage/paper_files/2004_sem_parco03.pdf},
abstract = {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.},
address = {Germany},
title = {An operational semantics for skeletons},
publisher = {Elsevier},
year = {2004},
pages = {63-70},
}
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)
