: Posters on Display Monday : Posters on Display Tuesday : Posters on Display Wednesday : Posters on Display Thursday

CodeQuest with DataLog

Elnar Hajiyev, Programming Tools Group, Oxford University Computing Laboratory
Mathieu Verbaere, Programming Tools Group, Oxford University Computing Laboratory
Oege De Moor, Programming Tools Group, Oxford University Computing Laboratory
Kris De Volder, Software Practices Lab, University of British Columbia

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