A Compositional Semantics for Verified Separate Compilation and Linking.

Tahina Ramananandro, Zhong Shao, Shu-Chun Weng, Jrmie Koenig, Yuchen Fu

Browse the full CPP paper archive.