Lookahead Widening

@inproceedings{Gopan2006LookaheadW,
  title={Lookahead Widening},
  author={Denis Gopan and Thomas W. Reps},
  booktitle={CAV},
  year={2006}
}
We present lookahead widening, a novel technique for using existing widening and narrowing operators to improve the precision of static analysis. This technique is both self-contained and fully-automatic in the sense that it does not rely on separate analyzes or human involvement. We show how to integrate lookahead widening into existing analyzers with minimal effort. Experimental results indicate that the technique is able to achieve sizable precision improvements at reasonable costs. 
Highly Cited
This paper has 84 citations. REVIEW CITATIONS

6 Figures & Tables

Topic

Statistics

0510'06'07'08'09'10'11'12'13'14'15'16'17'18
Citations per Year

85 Citations

Semantic Scholar estimates that this publication has 85 citations based on the available data.

See our FAQ for additional information.