A Multi-Language Parser Pipeline for Software Analysis and Verification.

Mete Isiksalan, Kostas Kontogiannis, Michael Rennie, Christophe Elek

Browse the full COMPSAC paper archive.