1 code implementation • 7 Jun 2019 • Antonio Flores-Montoya, Eric Schulte
Our technique features multiple static analyses and heuristics in a combined Datalog implementation.
Programming Languages