CodeQuest: Scalable source code queries with datalog

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4067 LNCS, Issue , 2006, Pages 2-27

  Hajiyev, Elnar ^a   Verbaere, Mathieu ^a   De Moor, Oege ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); PROGRAM TRANSLATORS; QUERY LANGUAGES; RECURSIVE FUNCTIONS; RELATIONAL DATABASE SYSTEMS;

CODE QUERYING SYSTEM; DATALOG MAPS QUERIES; QUERY OPTIMISER; SOURCE CODE;

LOGIC PROGRAMMING;

EID: 33746606933     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11785477_2     Document Type: Conference Paper

References (43)

1. Eclipse. http://www.eclipse.org.
2. J Query. http://www.cs.ubc.ca/labs/spl/projects/jquery/.
3. XSB. http://xsb.sourceforge.net/.
4. The TyRuBa metaprogramming system, http://tyruba.sourceforge.net/.
5. Code/Quest. http://progtools.comlab.ox.ac.uk/projects/codequest/.
6. Serge Abiteboul, Peter Buneman, and Dan Suciu. Data on the Web: From Relations to Semistructured Data and XML. Morgan Kaufmann Publishers, 2000.
7. Serge Abiteboul, Richard Hull, and Victor Vianu. Foundations of Databases. Addison-Wesley, 1995.
8. Leonor Abraido-Fandino. An overview of Refine 2.0. In Procs. of the Second International Symposium on Knowledge Engineering and Software Engineering, 1987.
9. Krzyszt of R. Apt and Roland N. Bol. Logic programming and negation: A survey. Journal of Logic Programming, 19/20:9-71, 1994.
10. Pavel Avgustinov, Aske Simon Christensen, Laurie Hendren, Sascha Kuzins, Jennifer Lhoták, Ondřej Lhoták, Oege de Moor, Damien Sereni, Ganesh Sittampalam, and Julian Tibbie, abc: An extensible AspectJ compiler. In Aspect-Oriented Software Development (AOSD), pages 87-98. ACM Press, 2005.
11. Roland Backhouse and Paul Hoogendijk. Elements of a relational theory of datatypes. In Bernhard Möller, Helmut Partsch, and Stephen Schuman, editors, Formal Program Development, volume 755 of Lecture Notes in Computer Science, pages 7-42. Springer Verlag, 1993.
12. François Bancilhon, David Maier, Yehoshua Sagiv, and Jeffrey D. Ullman. Magic sets and other strange ways to implement logic programs. In Proceedings of the Fifth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, March 24-26, 1986, Cambridge, Massachusetts, pages 1-16. ACM, 1986.
13. Cast. Company website at: http://www.castsoftware.com.
14. Yih Chen, Michael Nishimoto, and C. V. Ramamoorthy. The C information abstraction system. IEEE Transactions on Software Engineering, 16(3):325-334, 1990.
15. Mariano Consens, Alberto Mendelzon, and Arthur Ryman. Visualizing and querying software structures. In ICSE '92: Proceedings of the 14th international conference on Software engineering, pages 138-156, New York, NY, USA, 1992. ACM Press.
16. Roger F. Crew. ASTLOG: A language for examining abstract syntax trees. In USENIX Conference on Domain-Specific Languages, pages 229-242, 1997.
17. Stephen Dawson, C. R. Ramakrishnan, and David Scott Warren. Practical program analysis using general purpose logic programming systems. In ACM Symposium on Programming Language Design and Implementation, pages 117-126. ACM Press, 1996.
18. Henk Doornbos, Roland Carl Backhouse, and Jaap van der Woude. A calculational approach to mathematical induction. Theoretical Computer Science, 179(1-2):103-135, 1997.
19. Michael Eichberg, Michael Haupt, Mira Mezini, and Thorsten Schäfer. Comprehensive software understanding with sextant. In ICSM '05: Proceedings of the 21st IEEE International Conference on Software Maintenance (ICSM'05), pages 315-324, Washington, DC, USA, September 2005. IEEE Computer Society.
20. Hervé Gallaire and Jack Minker. Logic and Databases. Plenum Press, New York, 1978.
21. Stefan Hanenberg Günter Kniesel, Tobias Rho. Evolvable pattern implementations need generic aspects. In Proc. of ECOOP 2004 Workshop on Reflection, AOP and Meta-Data for Software Evolution, pages 116-126. June 2004.
22. Kris Gybels and Johan Brichau. Arranging language features for more robust pattern-based crosscuts. In 2nd International Conference on Aspect-oriented Software Development, pages 60-69. ACM Press, 2003.
23. Elnar Hajiyev. CodeQuest: Source Code Querying with Datalog. MSc Thesis, Oxford University Computing Laboratory, September 2005. Available at http://progtools.comlab.ox.ac.uk/projects/codequest/.
24. Doug Janzen and Kris de Voider. Navigating and querying code without getting lost. In 2nd International Conference on Aspect-Oriented Software Development, pages 178-187, 2003.
25. Stan Jarzabek. Design of flexible static program analyzers with PQL. IEEE Transactions on Software Engineering, 24(3):197-215, 1998.
26. Shahram Javey, Kin'ichi Mitsui, Hiroaki Nakamura, Tsuyoshi Ohira, Kazu Yasuda, Kazushi Kuse, Tsutomu Kamimura, and Richard Helm. Architecture of the XL C++ browser. In GASCON '92: Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research, pages 369-379. IBM Press, 1992.
27. Karel Ježek and Vladimir Toncar. Experimental deductive database. In Workshop on Information Systems Modelling, pages 83-90, 1998.
28. Gregor Kiczales, Erik Hilsdale, Jim Hugunin, Mik Kersten, Jeffrey Palm, and William G. Griswold. An overview of AspectJ. In J. Lindskov Knudsen, editor, European Conference on Object-oriented Programming, volume 2072 of Lecture Notes in Computer Science, pages 327-353. Springer, 2001.
29. Bronislaw Knaster. Un théorème sur les fonctions d'ensembles. Annales de la Societé Polonaise de Mathematique, 6:133-134, 1928.
30. Kemal Koymen. A datalog interface for SQL (abstract). In CSC '90: Proceedings of the 1990 ACM annual conference on Cooperation, page 422, New York, NY, USA, 1990. ACM Press.
31. Monica S. Lam, John Whaley, V. Benjamin Livshits, Michael C. Martin, Dzintars Avots, Michael Carbin, and Christopher Unkel. Context-sensitive program analysis as database queries. In PODS '05: Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, pages 1-12, New York, NY, USA, 2005. ACM Press.
32. Mark A. Linton. Implementing relational views of programs. In Peter B. Henderson, editor, Software Development Environments (SDE), pages 132-140, 1984.
33. Michael Martin, Benjamin Livshits, and Monica S. Larn. Finding application errors using PQL: a program query language. In Proceedings of the 20th annual ACM SIGPLAN OOPSLA Conference, pages 365-383, 2005.
34. Edward McCormick and Kris De Voider. JQuery: finding your way through tangled code. In OOPSLA '04: Companion to the 19th annual ACM SIGPLAN OOPSLA conference, pages 9-10, New York, NY, USA, 2004. ACM Press.
35. Nathaniel Nystrom, Michael R. Clarkson, and Andrew C. Myers. Polyglot: An extensible compiler framework for Java. In 12th International Conference on Compiler Construction, volume 2622 of Lecture Notes in Computer Science, pages 138-152, 2003.
36. Santanu Paul and Atul Prakash. Querying source code using an algebraic query language. IEEE Transactions on Software Engineering, 22(3):202-217, 1996.
37. Magellan Project. Web page at: http://www.st.informatik.tu-darmstadt.de/ static/pages/projects/Magellan/XIRC.html. 2005.
38. Thomas W. Reps. Demand interprocedural program analysis using logic databases. In Workshop on Programming with Logic Databases, ILPS, pages 163-196, 1993.
39. Konstantinos Sagonas, Terrance Swift, and David S. Warren. XSB as an efficient deductive database engine. In SIGMOD '94: Proceedings of the 1994 ACM SIGMOD international conference on Management of data, pages 442-453, New York, NY, USA, 1994. ACM Press.
40. Eric Sword. Create a root combinedplot interface. JPreeChart feature request: http://sourceforge.net/tracker/index.php?func=detail&caid= 1234995&group_id=15494&catid=365494, 2005.
41. Peri Tarr, William Harrison, and Harold Ossher. Pervasive query support in the concern manipulation environment. Technical Report RC23343, IBM Research Division, Thomas J. Watson Research Center, 2004.
42. Michael Thompson. Bluephoenix: Application modernization technology audit. Available at: http://www.bitpipe.com/detail/RES/1080665824_99.html., 2004.
43. John Whaley, Dzintars Avots, Michael Carbin, and Monica S. Lam. Using datalog and binary decision diagrams for program analysis. In Kwangkeun Yi, editor, Proceedings of the 3rd Asian Symposium on Programming Languages and Systems, volume 3780, pages 97-118. Springer-Verlag, November 2005.