Using Datalog with Binary Decision Diagrams for Program Analysis
Abstract elided by the publisher.
Related papers
- Cloning-based context-sensitive pointer alias analysis using binary decision diagrams PLDI 2004
- Lifted static analysis using a binary decision diagram abstract domain GPCE 2019
- Chain Reduction for Binary and Zero-Suppressed Decision Diagrams TACAS 2018
- On Application of Multi-Rooted Binary Decision Diagrams to Probabilistic Model Checking VMCAI 2012
- PfComp: A Verified Compiler for Packet Filtering Leveraging Binary Decision Diagrams CPP 2024
- Incremental Inference for Probabilistic Datalog CAV 2026
- Binary Decision Diagrams with Edge-Specified Reductions TACAS 2019
- CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams TOPLAS 2024