Retargeting an Abstract Interpreter for a New Language by Partial Evaluation

Jay Lee

It is well-known that abstract interpreters can be systematically derived from their concrete counterparts using a "recipe," but developing sound static analyzers remains a time-co…