Galois transformers and modular abstract interpreters: reusable metatheory for program analysis

Document Details

Document Type
Pub Defense Publication
Publication Date
Oct 23, 2015
Source ID
10.1145/2814270.2814308

Entities

People

  • David Darais
  • David Van Horn
  • Matthew Might

Organizations

  • Defense Advanced Research Projects Agency
  • National Science Foundation
  • University of Maryland
  • University of Utah