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 

meta:CMPP:book:02 (In a collection)
Author(s) Marco Aldinucci
Title« Automatic Program Transformation: The Meta Tool for Skeleton-based Languages »
InConstructive Methods for Parallel Programming
SeriesAdvances in Computation: Theory and Practice
Editor(s) Sergei Gorlatch and Christian Lengauer
Page(s)59-78
Year2002
PublisherNova Science Publishers
AddressNY, USA
ISBN number1-59033-374-8
URLhttp://calvados.di.unipi.it/storage/paper_files/2002_meta_book.a4.pdf
Abstract
Academic and commercial experience with skeleton-based systems has demonstrated the benefits of the approach but also the lack of methods and tools for algorithm design and performance prediction. We propose a (graphical) transformation tool based on a novel internal representation of programs that enables the user to effectively deal with program transformation. Given a skeleton-based language and a set of semantic-preserving transformation rules, the tool locates applicable transformations and provides performance estimates, thereby helping the programmer in navigating through the program refinement space.

BibTeX code

@incollection{meta:CMPP:book:02,
  chapter = {5},
  author = {Marco Aldinucci},
  series = {Advances in Computation: Theory and Practice},
  booktitle = {Constructive Methods for Parallel Programming},
  editor = {Sergei Gorlatch and Christian Lengauer},
  url = {http://calvados.di.unipi.it/storage/paper_files/2002_meta_book.a4.pdf},
  abstract = {Academic and commercial experience with skeleton-based systems has
              demonstrated the benefits of the approach but also the lack of
              methods and tools for algorithm design and performance prediction.
              We propose a (graphical) transformation tool based on a novel
              internal representation of programs that enables the user to
              effectively deal with program transformation. Given a
              skeleton-based language and a set of semantic-preserving
              transformation rules, the tool locates applicable transformations
              and provides performance estimates, thereby helping the programmer
              in navigating through the program refinement space.},
  title = {Automatic Program Transformation: The {Meta} Tool for Skeleton-based
           Languages},
  isbn = {1-59033-374-8},
  address = {NY, USA},
  publisher = {Nova Science Publishers},
  year = {2002},
  pages = {59-78},
}


 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!