Specifying Transformation Sequences as Computation on Program Fragments with an Abstract Attribute Grammar

  • Authors:
  • Markus Schordan;Daniel Quinlan

  • Affiliations:
  • Vienna University of Technology;Lawrence Livermore National Laboratory

  • Venue:
  • SCAM '05 Proceedings of the Fifth IEEE International Workshop on Source Code Analysis and Manipulation
  • Year:
  • 2005

Quantified Score

Hi-index 0.04

Visualization

Abstract

We present a grammar based approach for specifying a transformation as a sequence of transformation operations that operate on an intermediate representation. The transformation sequence is specified in the semantic actions of an abstract attribute grammar. The mapping between the object-oriented design of the intermediate representation and the abstract grammar directly reflects the objectoriented design in the structure of the grammar. It has properties that permit utilizing grammar based tools at arbitrary abstraction levels of the language representation. The program fragments can be both source strings and fragments of the intermediate representation that can be used interchangeably in the specification.