# A Datalog model of must-alias analysis

> Research article (Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, 2017) · cited 11× · AI/ML

**Wikidata**: [openalex:W2623757933](https://www.wikidata.org/wiki/openalex:W2623757933)  
**Source**: https://4ort.xyz/entity/a-datalog-model-of-must-alias-analysis