Compositional CompCert

Document Details

Document Type
Pub Defense Publication
Publication Date
Jan 14, 2015
Source ID
10.1145/2676726.2676985

Entities

People

  • Andrew Appel
  • Gordon Stewart
  • Lennart Beringer
  • Santiago Cuellar

Organizations

  • Defense Advanced Research Projects Agency
  • Princeton University