A Compositional Semantics for Verified Separate Compilation and Linking

Document Details

Document Type
Pub Defense Publication
Publication Date
Jan 13, 2015
Source ID
10.1145/2676724.2693167

Entities

People

  • Jérémie Koenig
  • Shu-chun Weng
  • Tahina Ramananandro
  • Yuchen Fu
  • Zhong Shao

Organizations

  • Defense Advanced Research Projects Agency
  • Massachusetts Institute of Technology
  • National Science Foundation
  • Office of Naval Research
  • Yale University