# Compass: strong and compositional library specifications in relaxed memory separation logic

> Research article (Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2022) · cited 19× · AI/ML

**Wikidata**: [openalex:W4281945852](https://www.wikidata.org/wiki/openalex:W4281945852)  
**Source**: https://4ort.xyz/entity/compass-strong-and-compositional-library-specifications-in-relaxed-memory-separation-logic