Name
Abstract | ||
|---|---|---|
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 {\proj} 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 {\em curried-visitor framework} and illustrates how we applied it to implement a key component in the {\proj} 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 pattern-matching transformation rules. |
Year | DOI | Venue |
|---|---|---|
2001 | 10.1145/375212.375258 | SSR |
Keywords | Field | DocType |
design,code generation,visitor pattern,data structure,abstract syntax,pattern matching | Data structure,Programming language,Software engineering,Computer science,Software,Abstract syntax,Visitor pattern,Proj construction,Code (cryptography) | Conference |
Volume | Issue | ISSN |
26 | 3 | 0163-5948 |
ISBN | Citations | PageRank |
1-58113-358-8 | 3 | 0.48 |
References | Authors | |
13 | 2 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Kurt Stirewalt | 1 | 312 | 30.24 |
| Laura K. Dillon | 2 | 497 | 70.70 |