Generation of visitor components that implement program transformations

The visitor pattern is appealing to developers of program-analysis tools because it separates the design of the data structures that represent a program from the design of software that traverses these structures. Unfortunately, the visitor pattern is difficult to apply when the analysis involves transformation logic that involves multiple program fragments simultaneously. We encountered this problem in our work on the Amalia project and discovered a novel way to use multiple cooperating visitor objects to systematically implement such functions when they are specified via a set of transformation rules. This paper introduces our curried-visitor framework and illustrates how we applied it to implement a key component in the Amalia framework. We are working on a code generator that will automatically synthesize curried-visitor frameworks from a description of a program's abstract syntax and a set of patternmatching transformation rules. Categories and Subject Descriptors

• Type: Conference
• Year: 2001
• Where: SSR
• Authors: Kurt Stirewalt, Laura K. Dillon
• Keywords: Analysis Involves Transformation, SSR 2001, Transformation Rules, VISITOR Pattern