Formulog: Datalog for SMT-based static analysis
Aaron Bembenek, Michael Greenberg, Stephen Chong[doi] [Google Scholar] [DBLP] [Citeseer] [url]
Proc. ACM Program. Lang.
4(OOPSLA)
Association for Computing Machinery
New York, NY, USA
November 2020
Association for Computing Machinery
New York, NY, USA
November 2020