Effective pattern matching of source code using abstract syntax patterns

Software - Practice and Experience

Volumn 36, Issue 4, 2006, Pages 413-447

  Atkinson, Darren C ^a   Griswold, William G ^b  

^a Santa Clara University   (United States)

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Abstract syntax trees; Call graphs; Pattern matching; Program analysis; Program understanding

Indexed keywords

ABSTRACTING; COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER PROGRAM LISTINGS; COMPUTER SIMULATION; DIGITAL LIBRARIES; FORMAL LANGUAGES;

ABSTRACT SYNTAX TREES; CALL-GRAPHS; PROGRAM ANALYSIS; PROGRAM UNDERSTANDING;

PATTERN MATCHING;

EID: 33645691885     PISSN: 00380644     EISSN: 1097024X     Source Type: Journal    
DOI: 10.1002/spe.704     Document Type: Article

References (25)

1. Boehm BW. The high cost of software. Practical Strategies for Developing Large Software Systems, Horowitz E (ed.). Addison-Wesley: Reading, MA, 1975; 3-13.
2. Lehman MM, Belady LA (eds.). Program Evolution: Processes of Software Change. Academic Press: Orlando, FL, 1985.
3. Aho AV. Pattern matching in strings. Formal Language Theory: Perspectives and Open Problems, Book RV (ed.). Academic Press: New York, 1980; 325-347.
4. Aho AV, Kernighan BW, Weinberger PJ. Awk - a pattern scanning and processing language. Software - Practice and Experience 1979; 9(4):267-279.
5. Aho AV, Sethi R, Ullman JD. Compilers: Principles, Techniques, and Tools. Addison-Wesley: Reading, MA, 1986.
6. Murphy GC, Notkin D. Lightweight source model extraction. ACM Transactions on Software Engineering and Methodology 1996; 5(3):262-292.
7. Griswold RE, Griswold MT. The Icon Programming Language (2nd edn). Prentice-Hall: Englewood Cliffs, NJ, 1990.
8. Burson S, Kotik GB, Markosian LZ. A program transformation approach to automating software re-engineering. Proceedings of the 14th Annual International Computer Software and Applications Conference, Chicago, IL, 1990. IEEE Computer Society Press: Los Alamitos, CA, 1990; 314-322.
9. Paul S, Prakash A. A framework for source code search using program patterns. IEEE Transactions on Software Engineering 1994; 20(6):463-475.
10. Ladd DA, Ramming JC. A*: A language for implementing language processors. IEEE Transactions on Software Engineering 1995; 21(11):894-901.
11. Devanbu PT. GENOA - a customizable, language- and front-end independent code analyzer. Proceedings of the 14th International Conference on Software Engineering, Melbourne, Australia, 1992. ACM Press: New York, 1992; 307-317.
12. Atkinson DC, Griswold WG. The design of whole-program analysis tools. Proceedings of the 18th International Conference on Software Engineering, Berlin, Germany, 1996. IEEE Computer Society Press: Los Alamitos, CA, 1996; 16-27.
13. Griswold WG, Atkinson DC. Managing the design trade-offs for a program understanding and transformation tool. Journal of Systems and Software 1995; 30(1-2):99-116.
14. Devanbu PT, Rosenblum DS, Wolf AL. Generating testing and analysis tools with Aria. ACM Transactions on Software Engineering and Methodology 1996; 5(1):42-62.
15. Lewkowicz JM. The Complete MUMPS: An Introduction and Reference Manual for the MUMPS Programming Language. Prentice-Hall: Englewood Cliffs, NJ, 1989.
16. Marcus M. The Penn Treebank Project: Preliminary release, Version 0.5, 1992; (CD-ROM).
17. Marcus MP, Santorini B, Marcinkiewicz MA. Building a large annotated corpus of English: The Penn Treebank. Computational Linguistics 1994; 19(2):313-330.
18. Levine JR, Mason T, Brown D. lex & yacc (2nd edn). O'Reilly: Sebastopol, CA, 1992.
19. Graham SL, Haley CB, Joy WN. Practical LR error recovery. Proceedings of the SIGPLAN '79 Symposium on Compiler Construction, Denver, CO, 1979. ACM Press: New York, 1979; 168-175.
20. Steele GL Jr. COMMON LISP: The Language. Digital Press: Burlington, MA, 1984.
21. Weise D, Crew R. Programmable syntax macros. Proceedings of the ACM SIGPLAN '93 Conference on Programming Language Design and Implementation, Albuquerque, NM, 1993. ACM Press: New York, 1993; 156-165.
22. Gobat JI, Atkinson DC. The FElt system: User's guide and reference manual. Computer Science Technical Report CS94-376, Department of Computer Science and Engineering, University of California, San Diego, CA, 1994.
23. Murphy GC, Notkin D, Lan ESC. An empirical study of static call graph extractors. Proceedings of the 18th International Conference on Software Engineering, Berlin, Germany, 1996. IEEE Computer Society Press: Los Alamitos, CA, 1996; 90-99.
24. Stallman RM. GNU EMACS Manual. Free Software Foundation: Cambridge, MA, 1993.
25. Atkinson DC, Griswold WG. Implementation techniques for efficient data-flow analysis of large programs. Proceedings of the 2001 International Conference on Software Maintenance, Florence, Italy, 2001. IEEE Computer Society Press: Los Alamitos, CA, 2001; 52-61.