Guannan Wei, Yuxuan Chen, Tiark Rompf
Staged abstract interpreters: fast and modular whole-program analysis via meta-programming
OOPSLA, 2019.
@article{OOPSLA-2019-WeiCR, author = "Guannan Wei and Yuxuan Chen and Tiark Rompf", doi = "10.1145/3360552", journal = "{Proceedings of the ACM on Programming Languages}", number = "OOPSLA", pages = "32", publisher = "{ACM}", title = "{Staged abstract interpreters: fast and modular whole-program analysis via meta-programming}", volume = 3, year = 2019, }