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 

aldinuc:meta:00 (In proceedings)
Author(s) Marco Aldinucci
Title« The Meta Transformation Tool for Skeleton-Based Languages »
InProc. of CMPP: Intl. Workshop on Constructive Methods for Parallel Programming
Editor(s) S. Gorlatch and C. Lengauer
Page(s)53-68
Year2000
OrganizationFakultät für mathematik und informatik
PublisherUni. Passau, Germany
URLhttp://calvados.di.unipi.it/storage/paper_files/2000_meta_cmpp.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

@inproceedings{aldinuc:meta:00,
  month = jul,
  author = {Marco Aldinucci},
  booktitle = {Proc. of CMPP: Intl. Workshop on Constructive Methods for
               Parallel Programming},
  editor = {S. Gorlatch and C. Lengauer},
  url = {http://calvados.di.unipi.it/storage/paper_files/2000_meta_cmpp.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 = {The {Meta} Transformation Tool for Skeleton-Based Languages},
  publisher = {Uni. Passau, Germany},
  organization = {Fakult{\"a}t f{\"u}r mathematik und informatik},
  pages = {53-68},
  year = {2000},
}


 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!