A Compositional Semantics for Verified Separate Compilation and Linking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Tahina Ramananandro, Zhong Shao, Shu-Chun Weng, Jérémie Koenig, Yuchen Fu. A Compositional Semantics for Verified Separate Compilation and Linking. In Xavier Leroy, Alwen Tiu, editors, Proceedings of the 2015 Conference on Certified Programs and Proofs, CPP 2015, Mumbai, India, January 15-17, 2015. pages 3-14, ACM, 2015. [doi]

This author has not been identified. Look up 'Tahina Ramananandro' in GoogleThis author has not been identified. It may be one of the following persons:

Zhong Shao

Look up 'Zhong Shao' in GoogleThis author has not been identified. Look up 'Shu-Chun Weng' in GoogleThis author has not been identified. Look up 'Jérémie Koenig' in GoogleThis author has not been identified. Look up 'Yuchen Fu' in Google

runs on WebDSL