Dynamic witnesses for static type errors (or, ill-typed programs usually go wrong)

Document Details

Document Type
Pub Defense Publication
Publication Date
Sep 04, 2016
Source ID
10.1145/2951913.2951915

Entities

People

  • Eric L. Seidel
  • Ranjit Jhala
  • Westley Weimer

Organizations

  • National Science Foundation
  • United States Air Force
  • University of California, San Diego
  • University of Virginia