Behavioral similarity matching using concrete source code templates in logic queries

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation

Volumn , Issue , 2007, Pages 92-101

  De Roover, Coen ^a   D'Hondt, Theo ^a   Brichau, Johan ^b   Noguera, Carlos ^c   Duchien, Laurence ^c  

^a VRIJE UNIVERSITEIT BRUSSEL   (Belgium)

^b UNIVERSITÉ CATHOLIQUE DE LOUVAIN   (Belgium)

^c INRIA   (France)

Author keywords

Logic meta programming; Pattern detection; Program analysis; Program querying; Program validation; Source code templates

Indexed keywords

DECISION TREES; LOGIC PROGRAMMING; METADATA; QUERY LANGUAGES; SOFTWARE PROTOTYPING; SYNTACTICS;

LOGIC META PROGRAMMING; PATTERN DETECTION; PROGRAM ANALYSIS; PROGRAM QUERYING; PROGRAM VALIDATION; SOURCE CODE TEMPLATES;

TEMPLATE MATCHING;

EID: 35348910154     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1244381.1244398     Document Type: Conference Paper

References (25)

1. C. Allan, P. Avgustinov, A. S. Christensen, L. Hendren, S. Kuzins, O. Lhoták, O. de Moor, D. Sereni, G. Sittampalam, and J. Tibble. Adding trace matching with free variables to AspectJ. In Proc. of the 20th Conf. on Object-oriented Programming, Systems, Languages, and Applications, pages 345-364, 2005.
2. J. Cohen and T. J. Hickey. Parsing and compiling using prolog. Transactions on Programming Languages and Systems, 9(2):125-163, 1987.
3. R. F. Crew. ASTLOG: A language for examining abstract syntax trees. In Proc. of the Conf. on Domain-Specific Languages, pages 229-242, 1997.
4. M. d'Amorim, C. Nogueira, G. Santos, A. Souza, and P. Borba. Integrating code generation and refactoring. In Proc. of the ECOOP Workshop on Generative Programming, 2002.
5. C. De Roover, J. Brichau, and T. D'Hondt. Combining fuzzy logic and behavioral similarity for non-strict program validation. In Proc. of the 8th Symp. on Principles and Practice of Declarative Programming, pages 15-26, 2006.
6. C. De Roover, I. Michiels, K. Gybels, K. Gybels, and T. D'Hondt. An approach to high-level behavioral program documentation allowing lightweight verification. In Proc. of the 14th IEEE Int. Conf. on Program Comprehension, pages 202-211, 2006.
7. S. Ducasse, M. Freidig, and R. Wuyts. Logic and trace-based object-oriented application testing. In Proc. of the Int. Workshop on Object-Oriented Reengineering, 2004.
8. J. Fabry and T. Mens. Language-independent detection of object-oriented design patterns. Elsevier Int. Journal on Computer Languages, Systems & Structures, 30(1-2):21-33, 2004.
9. P. Flach. Simply Logical. John Wiley, 1994.
10. J. Gosling, B. Joy, G. Steele, and G. Bracha. Java Language Specification, Second Edition: The Java Series. Addison-Wesley Longman Publishing Co., Inc., 2000.
11. E. Hajiyev, M. Verbaere, and O. de Moor. Codequest: Scalable source code queries with datalog. In Proc. of the 20th European Conf. on Object-Oriented Programming, volume 4067 of Lecture Notes in Computer Science, pages 2-27, Berlin, Germany, 2006. Springer.
12. M. Hind. Pointer analysis: haven't we solved this problem yet? In Proc. of the 2001 Workshop on Program Analysis for Software Tools and Engineering, pages 54-61, 2001.
13. D. Hovemeyer and W. Pugh. Finding bugs is easy. ACM SIGPLAN Notices, 39(12):92-106, 2004.
14. C. Krämer and L. Prechelt. Design recovery by automated search for structural design patterns in object-oriented software. In Proc. of the 3rd Working Conf. on Reverse Engineering, 1996.
15. C. Lewerentz and F. Simon. A Product Metrics Tool Integrated into a Software Development Environment. In Proc. of the ECOOP Workshop on Object-Oriented Technology, volume 1543, pages 256-257, 1998.
16. O. Lhoták. Spark: A flexible points-to analysis framework for java. Master's thesis, McGill University, December 2002.
17. M. Martin, B. Livshits, and M. S. Lam. Finding application errors and security flaws using PQL: a program query language. ACM SIGPLAN Notices, 40(10):365-383, Oct. 2005.
18. K. Mens, I. Michiels, and R. Wuyts. Supporting software development through declaratively codified programming patterns. In Proc. of the 13th Int. Software Engineering and Knowledge Engineering Conf., 2001.
19. C. Noguera and R. Pawlak. Open static pointcuts through source code templates. In Proc. of the AOSD Workshop on Open and Dynamic Aspect Languages, 2006.
20. Y. Padioleau, R. R. Hansend, J. Lawall, and G. Muler. Semantic patches for documenting and automating collateral evolutions in linux drivers. In Proc. of the Workshop on Linguistic Support for Modern Operating Systems, 2006.
21. B. G. Ryder. Dimensions of precision in reference analysis of object-oriented programming languages. In Proc. of the 12th Int. Conf. on Compiler Construction, volume 2622, pages 126-137, 2003.
22. The Smalltalk Open Unification Language (SOUL). http://prog.vub.ac.be/ SOUL/.
23. M. A. Tobias Rho, Günter Kniesel. Fine-grained generic aspects. In Proc. of the AOSD Workshop on Foundations of Aspect-Oriented Languages. 2006.
24. E. Visser. Meta-programming with concrete object syntax. In Generative Programming and Component Engineering, volume 2487 of Lecture Notes in Computer Science, pages 299-315. Springer-Verlag, 2002.
25. R. Wuyts. A Logic Meta-Programming Approach to Support the Co-Evolution of Object-Oriented Design and Implementation. PhD thesis, Vrije Universiteit Brussel, Belgium, January 2001.