Generation of visitor components that implement program transformations

Proceedings of SSR'01 2001 Symposium on Software Reusability

Volumn , Issue , 2001, Pages 86-94

  Stirewalt, R E Kurt ^a   Dillon, Laura K ^a  

^a Michigan State University   (United States)

Author keywords

Amalia; Curried visitor framework; Lightweight analysis components; Program transformations; Visitor pattern

Indexed keywords

COMPUTER AIDED DESIGN; COMPUTER PROGRAMMING LANGUAGES; DATA STRUCTURES; PATTERN MATCHING; TREES (MATHEMATICS);

ABSTRACT SYNTAX TREES (AST);

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 0035790836     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/375212.375258     Document Type: Conference Paper

References (20)

1. D. Batory. Refinements and separation of concerns. In Proc. of the Second Workshop on Multi-dimensional Separation of Concerns, 2000. Co-located with ICSE'2000.
2. D. Batory and S. O'Malley. The design and implementation of hierarchical software systems with reusable components. ACM Trans. Softw. Eng. Meth., 1(4):355-398, October 1992.
3. T. Bolognesi and E. Brinksma. Introduction to the ISO specification language LOTOS. Comp. Netw. ISDN Sys., 14(1), 1987.
4. th International Symposium on Logic in Computer Science, June 1990.
5. E. M. Clarke, E. A. Emerson, and A. P. Sistla. Automatic verification of finite-state concurrent systems using temporal logic. ACM Trans. Program. Lang. Syst., 8(2):244-263, 1986.
6. J. R. Cordy, C. D. Halpern, and E. Promislow. Txl: A rapid prototyping system for programming language dialects. Computer Languages, 16(1):97-107, January 1991.
7. P. Devanbu. Genoa-a language and front-end independent source code analyzer generator. In Proc. of the Fourteenth International Conference on Software Engineering, 1992.
8. L. K. Dillon and R. E. K. Stirewalt. Lightweight analysis of operational specifications using inference graphs. In Proc. of the 2001 International Conference on Software Engineering (ICSE'2001), 2001.
9. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley Publishing Company, Reading, Massachusetts, 1995.
10. R. E. Johnson and B. Foote. Designing reusable classes. Journal of Object-Oriented Programming, pages 22-35, June/July 1988.
11. G. Kiczales et al. Aspect oriented programming. In European Conference on Object-Oriented Programming (ECOOP'97), 1997.
12. K. J. Lieberherr. Object-oriented software evolution. IEEE Trans. Softw. Eng., 19(4):313-343, 1993.
13. R. Milner. Communication and Concurrency. Prentice Hall International Series in Computer Science. Prentice Hall, New York, 1989.
14. G. C. Murphy and D. Notkin. Lightweight source model extraction. In Third ACM SIGSOFT Symposium on the Foundations of Software Engineering, October 1995.
15. D. Parnas. Designing software for ease of extension and contraction. IEEE Trans. Softw. Eng., 5(2), 1979.
16. G. D. Plotkin. A structural approach to operational semantics. Technical Report DAIMI FN-19, Computer Science Department, Aarhus University, 1981.
17. J. M. Purtilo and J. R. Callahan. Parse tree annotations. Communications of the ACM, 32(12): 1467-1477, December 1989.
18. Reasoning Systems Incorporated, Palo Alto, CA. Refine User's Guide.
19. L. M. Seiter, J. Palsberg, and K. J. Lieberherr. Evolution of object behavior using context relations. IEEE Trans. Softw. Eng., 24(1):79-92, January 1998.
20. R. E. K. Stirewalt and L. K. Dillon. A component-based approach to building formal analysis tools. In Proc. of the 2001 International Conference on Software Engineering (ICSE'2001), 2001.