IJIT: An API for Boolean Program Analysis with Just-in-Time Translation.

Peizun Liu, Thomas Wahl

Browse the full SEFM paper archive.