Galois Transformers and Modular Abstract Interpreters

David Darais, Matthew Might, David Van Horn

The design and implementation of static analyzers has become increasingly systematic. Yet for a given language or analysis feature, it often requires tedious and error prone work t…