# A Compositional Semantics for Verified Separate Compilation and Linking

> Research article (Proceedings of the 2015 Conference on Certified Programs and Proofs, 2015) · cited 22× · AI/ML

**Wikidata**: [openalex:W2032072432](https://www.wikidata.org/wiki/openalex:W2032072432)  
**Source**: https://4ort.xyz/entity/a-compositional-semantics-for-verified-separate-compilation-and-linking