TY  - RPRT
TI  - Compiling Linear Datalog to SQL for Program Analysis
AU  - Amir Shaikhha
AU  - Anna Herlihy
AU  - Hung Ngo
PY  - 2026
UR  - https://arxiv.org/abs/2609.06301
ID  - 2609.06301
ER  -