The SOUL tool suite for querying programs in symbiosis with Eclipse

Proceedings of the 9th International Conference on the Principles and Practice of Programming in Java, PPPJ 2011

Volumn , Issue , 2011, Pages 71-80

  De Roover, Coen ^a   Noguera, Carlos ^a   Kellens, Andy ^a   Jonckers, Vivane ^a  

^a VRIJE UNIVERSITEIT BRUSSEL   (Belgium)

Author keywords

Integrated development environments; Logic programming; Program analysis; Program queries; Software engineering tools

Indexed keywords

ECLIPSE PLUG-INS; ECLIPSE PLUGIN; INTEGRATED DEVELOPMENT ENVIRONMENT; JAVA PROGRAM; LOGIC PROGRAMS; PLUG-INS; PROGRAM ANALYSIS; PROGRAM QUERIES; QUERY RESULTS; SOFTWARE ENGINEERING TOOLS; SOURCE CODES; TOOLSUITE;

COMPUTER SOFTWARE; LOGIC PROGRAMMING; QUERY LANGUAGES; QUERY PROCESSING;

JAVA PROGRAMMING LANGUAGE;

EID: 84856660733     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2093157.2093168     Document Type: Conference Paper

References (30)

1. M. Appeltauer and G. Kniesel. Towards concrete syntax patterns for logic-based transformation rules. In Proceedings of the Eighth International Workshop on Rule-Based Programming (RULE07), 2007.
2. J. Brichau and C. De Roover. Language-shifting objects in interlanguage interoperability. In Proceedings of the International Workshop on Smalltalk Technologies (IWST09), 2009.
3. J. Brichau, C. De Roover, and K. Mens. Open unification for program query languages. In Proceedings of the XXVI International Conference of the Chilean Computer Science Society (SCCC 2007), 2007.
4. S. Ceri, G. Gottlob, and L. Tanca. What you always wanted to know about Datalog (and never dared to ask). IEEE Transactions on Knowledge and Data Engineering (TKDE), 1(1), 1989.
5. W. Chen and D. S.Warren. Tabled evaluation with delaying for general logic programs. Journal of the ACM (JACM). ACM, 43(1):20-74, 1996. ISSN 0004-5411. (Pubitemid 126607634)
6. T. Cohen, J. Y. Gil, and I. Maman. JTL: the Java Tools Language. In Proceedings of the 21st annual ACM SIGPLAN Conference on Object Oriented Programming, Systems, Languages, and Applications (OOPSLA06), 2006.
7. R. F. Crew. ASTLOG: A language for examining abstract syntax trees. In Proceedings of the 1997 USENIX Conference on Domain-Specific Languages (DSL'97), 1997.
8. C. De Roover. A Logic Meta Programming Foundation for Example- Driven Pattern Detection in Object-Oriented Programs. PhD thesis, Vrije Universiteit Brussel, August 2009.
9. C. De Roover, J. Brichau, C. Noguera, T. D'Hondt, and L. Duchien. Behavioral similarity matching using concrete source code templates in logic queries. In Proceedings of the ACM-SIGPLAN Symposium on Partial Evaluation and semantics-based Program Manipulation (PEPM07), 2007.
10. K. De Volder. JQuery: A generic code browser with a declarative configuration language. In Proceedings of the 8th International Symposium on Practical Aspects of Declarative Languages (PADL06), 2006.
11. S. Drape, O. de Moor, and G. Sittampalam. Transforming the .NET intermediate language using path logic programming. In Proceedings of the 4th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP'02), 2002.
12. M. Eichberg, S. Kloppenburg, K. Klose, and M. Mezini. Defining and continuous checking of structural program dependencies. In Proceedings of the 30th International Conference on Software Engineering (ICSE08), 2008.
13. M. H. V. Emden and R. A. Kowalski. The semantics of predicate logic as a programming language. Journal of the ACM (JACM), 23(4), October 1976.
14. D. Engler, B. Chelf, A. Chou, and S. Hallem. Checking system rules using system-specific, programmer-written compiler extensions. In Proceedings of the Fourth Symposium on Operating Systems Design and Implementation (OSDI00), 2000.
15. H. Falconer, P. H. J. Kelly, D. M. Ingram, M. R. Mellor, T. Field, and O. Beckmann. A declarative framework for analysis and optimization. In Proceedings of the 16th International Conference on Compiler Construction (CC07), 2007.
16. K. Gybels, R. Wuyts, S. Ducasse, and M. D'Hondt. Inter-language reflection: A conceptual model and its implementation. Elesevier International Journal on Computer Languages, Systems and Structures, 32, 2006.
17. E. Hajiyev, M. Verbaere, and O. de Moor. CodeQuest: Scalable source code queries with Datalog. In Proceedings of the 20th European Conference on Object-Oriented Programming (ECOOP06), volume 4067 of Lecture Notes in Computer Science, 2006.
18. M. Hind. Pointer analysis: haven't we solved this problem yet? In Proceedings of the 2001 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE01), 2001.
19. A. Kellens, C. Noguera, K. De Schutter, C. De Roover, and T. D'Hondt. Co-evolving annotations and source code through smart annotations. In Proceedings of the 14th European Conference on Software Maintenance and Re-engineering (CSMR10), 2010.
20. K. Klose and K. Ostermann. Modular logic metaprogramming. In Proceedings of the ACM International Conference on Object-oriented Programming Systems Languages and Applications (OOPSLA10), 2010.
21. D. Lacey. Program Transformation using Temporal Logic Specifications. PhD thesis, University of Oxford, August 2003.
22. M. Martin, B. Livshits, and M. Lam. Finding application errors and security flaws using PQL: a program query language. In Proceedings of the 20th annual ACM SIGPLAN Conference on Object-oriented Programming Systems, Languages and Applications (OOPSLA05), 2005.
23. M. Mossienko. Structural search and replace: What, why, and howto. JetBrains onBoard Online Magazine, February 2005. http://www.onboard.jetbrains. com/is1/articles/04/10/ssr/.
24. J. Niere, W. Schäfer, J. P. Wadsack, L. Wendehals, and J. Welsh. Towards pattern-based design recovery. In Proceedings of the 22nd International Conference on Software Engineering (ICSE02), 2002.
25. R. Ramesh and W. Chen. Implementation of tabled evaluation with delaying in Prolog. IEEE Transactions on Knowledge and Data Engineering, 9(4):559-574, 1997. ISSN 1041-4347. (Pubitemid 127776402)
26. T. Rho, G. Kniesel, and M. Appeltauer. Fine-grained generic aspects. In Proceedings of the AOSD Workshop on Foundations of Aspect- Oriented Languages (FOAL06), 2006.
27. R. Vallée-Rai, P. Co, E. Gagnon, L. Hendren, P. Lam, and V. Sundaresan. Soot - a Java bytecode optimization framework. In Proceedings of the 1999 Conference of the Centre for Advanced Studies on Collaborative Research (CASCON99), 1999.
28. M. Verbaere, R. Ettinger, and O. de Moor. JunGL: a scripting language for refactoring. In Proceedings of the 28th International Conference on Software Engineering (ICSE06), 2006.
29. N. Volanschi. Condate: a proto-language at the confluence between checking and compiling. In Proceedings of the 8th ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP06), 2006.
30. 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.