CodeQuest: querying source code with datalog

Authors:
Elnar Hajiyev;Mathieu Verbaere;Oege de Moor;Kris de Volder
Affiliations:
University of Oxford, United Kingdom;University of Oxford, United Kingdom;University of Oxford, United Kingdom;University of British Columbia, Vancouver, Canada
Venue:
OOPSLA '05 Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Year:
2005

Citing 6
Cited 9

The C Information Abstraction System

IEEE Transactions on Software Engineering
Design of Flexible Static Program Analyzers with PQL

IEEE Transactions on Software Engineering
Logic and Data Bases

Logic and Data Bases
A Query Algebra for Program Databases

IEEE Transactions on Software Engineering
Navigating and querying code without getting lost

Proceedings of the 2nd international conference on Aspect-oriented software development
ASTLOG: a language for examining abstract syntax trees

DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997

A framework for implementing pluggable type systems

Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
A static aspect language for checking design rules

Proceedings of the 6th international conference on Aspect-oriented software development
A comparison of logic-based infrastructures for concern detection and extraction

Proceedings of the 3rd workshop on Linking aspect technology and evolution
Fusing a Transformation Language with an Open Compiler

Electronic Notes in Theoretical Computer Science (ENTCS)
Defining and continuous checking of structural program dependencies

Proceedings of the 30th international conference on Software engineering
Time warp, an approach for reasoning over system histories

Proceedings of the joint international and annual ERCIM workshops on Principles of software evolution (IWPSE) and software evolution (Evol) workshops
The good, the bad, and the ugly: three ways to use a semantic code query system

Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications
The declarative imperative: experiences and conjectures in distributed logic

ACM SIGMOD Record
Decoupling context: introducing quantification in object teams

Proceedings of the 2012 workshop on Modularity in Systems Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

We describe CodeQuest, a system for querying source code. It combines two previous proposals, namely the use of logic programming and database system. Experiments (on projects ranging from 3KSLOC to 1300KSLOC) confirm that for this application, a query language based on DataLog strikes the right balance between expressiveness and scalability.