• Reducing Static Analysis Unsou...

Treffer: Reducing Static Analysis Unsoundness with Approximate Interpretation

Title:
Reducing Static Analysis Unsoundness with Approximate Interpretation
Authors:
Laursen, Mathias Rud, Xu, Wenyuan, Møller, Anders
Source:
Proceedings of the ACM on Programming Languages. 8(PLDI):1165-1188
Availability:
http://dl.acm.org/doi/10.1145/3656424
Database:
ACM Full-Text Collection