Christian W. Probst. A demand-driven solver for constraint-based control flow analysis. COD Verlag, 2002.
@book{0007669, title = {A demand-driven solver for constraint-based control flow analysis}, author = {Christian W. Probst}, year = {2002}, tags = {rule-based, analysis, constraints, data-flow analysis}, researchr = {https://researchr.org/publication/0007669}, cites = {0}, citedby = {0}, publisher = {COD Verlag}, isbn = {978-3-9807096-0-6}, }