# Lifted static analysis using a binary decision diagram abstract domain

> Research article (Proceedings of the 18th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2019) · cited 14× · AI/ML

**Wikidata**: [openalex:W2979745148](https://www.wikidata.org/wiki/openalex:W2979745148)  
**Source**: https://4ort.xyz/entity/lifted-static-analysis-using-a-binary-decision-diagram-abstract-domain