David Darais, Matthew Might, David Van Horn
Galois transformers and modular abstract interpreters: reusable metatheory for program analysis
OOPSLA, 2015.
@inproceedings{OOPSLA-2015-DaraisMH,
author = "David Darais and Matthew Might and David Van Horn",
booktitle = "{Proceedings of the 30th Conference on Object-Oriented Programming, Systems, Languages and Applications}",
doi = "10.1145/2814270.2814308",
isbn = "978-1-4503-3689-5",
pages = "552--571",
publisher = "{ACM}",
title = "{Galois transformers and modular abstract interpreters: reusable metatheory for program analysis}",
year = 2015,
}