TY  - RPRT
TI  - IJIT: An API for Boolean Program Analysis with Just-in-Time Translation (Extended Technical Report)
AU  - Peizun Liu
AU  - Thomas Wahl
PY  - 2017
UR  - https://arxiv.org/abs/1706.03167
ID  - 1706.03167
ER  -