CodeQuest

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

CodeQuest: querying source code with datalog

Full text

Pdf (76 KB)

Source

Conference on Object Oriented Programming Systems Languages and Applications archive
Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications table of contents

San Diego, CA, USA

POSTER SESSION: Posters table of contents

Pages: 102 - 103

Year of Publication: 2005

ISBN:1-59593-193-7

Authors

Elnar Hajiyev	University of Oxford, United Kingdom
Mathieu Verbaere	University of Oxford, United Kingdom
Oege de Moor	University of Oxford, United Kingdom
Kris de Volder	University of British Columbia, Vancouver, Canada

Sponsors

ACM: Association for Computing Machinery
SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 3, Downloads (12 Months): 31, Citation Count: 5

Additional Information:

abstract references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/1094855.1094884 What is a DOI?

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.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Yih-Farn Chen , Michael Y. Nishimoto , C. V. Ramamoorthy, The C Information Abstraction System, IEEE Transactions on Software Engineering, v.16 n.3, p.325-334, March 1990 [doi>10.1109/32.48940]
	2	Roger F. Crew. ASTLOG: A language for examining abstract syntax trees. In USENIX Conference on Domain-Specific Languages, pages 229--242, 1997.
	3	Herve Gallaire , Jack Minker, Logic and Data Bases, Perseus Publishing, 1978
	4	Stefan Hanenberg, Günter Kniesel, and Tobias Rho. Evolvable pattern implementations need generic aspects. In Proc. of ECOOP 2004 Workshop on Reflection, AOP and Meta-Data for Software Evolution. June 2004.
	5	Doug Janzen , Kris De Volder, Navigating and querying code without getting lost, Proceedings of the 2nd international conference on Aspect-oriented software development, p.178-187, March 17-21, 2003, Boston, Massachusetts [doi>10.1145/643603.643622]
	6	Stan Jarzabek, Design of Flexible Static Program Analyzers with PQL, IEEE Transactions on Software Engineering, v.24 n.3, p.197-215, March 1998 [doi>10.1109/32.667879]
	7	Gregor Kiczales, John Lamping, Anurag Menhdekar, Chris Maeda, Cristina Lopes, Jean-Marc Loingtier, and John Irwin. Aspect-oriented programming. In Mehmet Aksit and Satoshi Matsuoka, editors, European Conference on Object-oriented Programming, volume 1241 of Lecture Notes in Computer Science, pages 220--242. Springer, 1997.
	8	Santanu Paul , Ataul Prakash, A Query Algebra for Program Databases, IEEE Transactions on Software Engineering, v.22 n.3, p.202-217, March 1996 [doi>10.1109/32.489080]
	9	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.

CITED BY 5

	Michael Eichberg , Sven Kloppenburg , Karl Klose , Mira Mezini, Defining and continuous checking of structural program dependencies, Proceedings of the 30th international conference on Software engineering, May 10-18, 2008, Leipzig, Germany
	Chris Andreae , James Noble , Shane Markstrum , Todd Millstein, A framework for implementing pluggable type systems, ACM SIGPLAN Notices, v.41 n.10, October 2006
	Clint Morgan , Kris De Volder , Eric Wohlstadter, A static aspect language for checking design rules, Proceedings of the 6th international conference on Aspect-oriented software development, March 12-16, 2007, Vancouver, British Columbia, Canada
	Günter Kniesel , Jan Hannemann , Tobias Rho, A comparison of logic-based infrastructures for concern detection and extraction, Proceedings of the 3rd workshop on Linking aspect technology and evolution, p.6-es, March 12-16, 2007, Vancouver, British Columbia, Canada
	Karl Trygve Kalleberg , Eelco Visser, Fusing a Transformation Language with an Open Compiler, Electronic Notes in Theoretical Computer Science (ENTCS), v.203 n.2, p.21-36, April, 2008