codeQuest: Scalable Source Code Queries with Datalog
No abstract available.
DOI 10.1007/11785477_2
Related papers
- Semantics of static pointcuts in aspectJ POPL 2007
- Debugging Large-scale Datalog: A Scalable Provenance Evaluation Strategy TOPLAS 2020
- A Deductive Database with Datalog and SQL Query Languages APLAS 2011
- Two concurrent data structures for efficient datalog query processing PPoPP 2018
- Scaling Abstraction Refinement for Program Analyses in Datalog using Graph Neural Networks OOPSLA 2024
- Synthesizing Conjunctive Queries for Code Search ECOOP 2023
- Seminaïve evaluation for a higher-order functional language POPL 2020
- Datafun: a functional Datalog ICFP 2016