TY  - RPRT
TI  - Towards Fully Declarative Program Analysis via Source Code Transformation
AU  - Rijnard van Tonder
PY  - 2021
UR  - https://arxiv.org/abs/2112.12398
ID  - 2112.12398
ER  -