Cost-Driven Synthesis of Sound Abstract Interpreters

A novel automated and unified framework for globally sound abstract interpreters synthesis.