Login / Signup
Dynamic Transitive Closure-based Static Analysis through the Lens of Quantum Search.
Jiawei Ren
Yulei Sui
Xiao Cheng
Yuan Feng
Jianjun Zhao
Published in:
ACM Trans. Softw. Eng. Methodol. (2024)
Keyphrases
</>
transitive closure
static analysis
dynamic analysis
expressive power
source code
constraint databases
query evaluation
open source
first order logic
reverse engineering
directed acyclic graph
recursive queries
databases
query language