Generating programming language-based pattern matchers

ABSTRACT

This paper is based on a logical extension of our past work in pattern matching tools [22, 24, 25 ] for reverse engineering. We explore two new directions: first, we investigate the need for new and more powerful source code and pattern representations to support a richer set of queries; and second, we develop the concept of automatic generation of pattern matchers for different programming languages starting from a high-level specification of the programming language. A generator will eliminate the need for manually-coded pattern matchers for different programming languages. Preliminary ideas are discussed and a roadmap of research issues is presented.

REFERENCES

• 1: Serge Abiteboul , Sophie Cluet , Tova Milo, Querying and Updating the File, Proceedings of the 19th International Conference on Very Large Data Bases, p.73-84, August 24-27, 1993
• 2: A. V. Aho , S. C. Johnson, LR Parsing, ACM Computing Surveys (CSUR), v.6 n.2, p.99-124, June 1974 [doi>10.1145/356628.356629]
• 3: R. Al-Zoubi and A. Prakash. Software change analysis via attributed dependency graphs. Technical Report CSE-TR-95-91, Dept. of EECS, University of Michigan, May 1991.
• 4: Ted J. Biggerstaff, Design Recovery for Maintenance and Reuse, Computer, v.22 n.7, p.36-49, July 1989 [doi>10.1109/2.30731]
• 5: Ted J. Biggerstaff , Bharat G. Mitbander , Dallas Webster, The concept assignment problem in program understanding, Proceedings of the 15th international conference on Software Engineering, p.482-498, May 17-21, 1993, Baltimore, Maryland, United States
• 6: R. Brooks. Towards a theory of comprehension of computer programs. International Journal of Man Machine Studies, 18:543--554, 1983.
• 7: Yih-Farn Chen , Michael Y. Nishimoto , C. V. Ramamoorthy, The C Information Abstraction System, IEEE Transactions on Software Engineering, v.16 n.3, p.325-334, March 1990 [doi>10.1109/32.48940]
• 8: E. Chikofsky. State-of-art talk on reverse engineering. Invited Talk at the 15th International Conference on Software Engineering, Baltimore, Maryland., May 1993.
• 9: L. Cleveland, A program understanding support environment, IBM Systems Journal, v.28 n.2, p.324-344, 1989
• 10: E. F. Codd, A relational model of data for large shared data banks, Communications of the ACM, v.13 n.6, p.377-387, June 1970 [doi>10.1145/362384.362685]
• 11: T. A. Corbi, Program understanding: challenge for the 1990's, IBM Systems Journal, v.28 n.2, p.294-306, 1989
• 12: C. J. Date, An introduction to database systems: vol. I (4th ed.), Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1986
• 13: The Committee for Advanced DBMS Function Corporate, Third-generation database system manifesto, ACM SIGMOD Record, v.19 n.3, p.31-44, Sep. 1990 [doi>10.1145/101077.390001]
• 14: M. R. Garey and D. S. Johnson. Computers and Intractability. W. H. Freeman and Company, 1979.
• 15: G. Jaeschke. An algebra of power set type relations. Technical Report TR 82.12.002, IBM Heidelberg Scientific Center, Heidelberg, Germany, 1982.
• 16: G. Jaeschke. Nonrecursive algebra for relations with relation-valued attributes. Technical Report TR 85.03.001, IBM Heidelberg Scientific Center, Heidelberg, Germany, 1985.
• 17: G. Jaeschke. Recursive algebra for relations with relation-valued attributes. Technical Report TR 85.03.002, IBM Heidelberg Scientific Center, Heidelberg, Germany, 1985.
• 18: Wojtek Kozaczynski , Jim Ning , Andre Engberts, Program Concept Recognition and Transformation, IEEE Transactions on Software Engineering, v.18 n.12, p.1065-1075, December 1992 [doi>10.1109/32.184761]
• 19: Mark A. Linton, Implementing relational views of programs, Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments, p.132-140, April 1984
• 20: D. Maier and J. Stein. Development and Implementation of an Object-Oriented DBMS. The MIT Press, 1987.
• 21: H. A. Muller, B. D. Corrie, and S. R. Tilley. Spatial and visual representations of software structures: A model for reverse engineering. Technical Report TR-74.086, IBM Canada Ltd., April 1992.
• 22: Santanu Paul, SCRUPLE: a reengineer's tool for source code search, Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research, November 09-12, 1992, Toronto, Ontario, Canada
• 23: S. Paul. A framework for source code search. A Ph.D. Thesis Proposal, Dept. of EECS, University of Michigan, 1993.
• 24: S. Paul and A. Prakash. Source code retrieval using program patterns. In Proc. of the 5th International Conference on Computer Aided Software Engineering, pages 95--105, 1992.
• 25: S. Paul and A. Prakash. A framework for source code search using program patterns. Internal Report, April 1993.
• 26: P Pistor , R Traunmueller, A database language for sets, lists and tables, Information Systems, v.11 n.4, p.323-336, Oct. 1986 [doi>10.1016/0306-4379(86)90012-8]
• 27: Reasoning Systems, Palo Alto, CA. REFINE User's Guide, 1989.
• 28: Thomas W. Reps, Generating language-based environments, Massachusetts Institute of Technology, Cambridge, MA, 1984
• 29: Charles Rich , Richard C. Waters, The programmer's apprentice, ACM Press, New York, NY, 1990
• 30: H J Schek , M H Scholl, The relational model with relation-valued attributes, Information Systems, v.11 n.2, p.137-147, 1986 [doi>10.1016/0306-4379(86)90003-7]
• 31: P. G. Selfridge, R. C. Waters, and E. J. Chikofsky. Challenges to the field of reverse engineering. In Proc. of the Working Conference on Reverse Engineering, Baltimore, Maryland, pages 144--150, 1993.
• 32: N. C. Shu. Formal: A forms oriented, visual-directed application development system. Computer, 18(2):38--49, 1985.
• 33: S. Westfold. Algorithms in refine. Personal Communication, June 1993.
• 34: E. Yourdon. Re-3. American Programmer, 2(4):3--10, April 1989.