Galois transformers and modular abstract interpreters: reusable metatheory for program analysis.

David Darais, Matthew Might, David Van Horn

Browse the full OOPSLA paper archive.