no code implementations • 24 Jun 2016 • Eric L Seidel, Ranjit Jhala, Westley Weimer
Our technique is able to generate witnesses for around 85% of the programs, our reduction graph yields small counterexamples for over 80% of the witnesses, and a simple heuristic allows us to use witnesses to locate the source of type errors with around 70% accuracy.
Programming Languages D.3.2; D.3.4; F.3.3
