Compiler verification meets cross-language linking via data abstraction

Document Details

Document Type
Pub Defense Publication
Publication Date
Oct 15, 2014
Source ID
10.1145/2660193.2660201

Entities

People

  • Adam Chlipala
  • Peng Wang
  • Santiago Cuellar

Organizations

  • Defense Advanced Research Projects Agency
  • Division of Computing and Communication Foundations
  • Massachusetts Institute of Technology
  • Office of Advanced Scientific Computing Research
  • Princeton University