A demand-driven solver for constraint-based control flow analysis

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},
}