Localizing Widening and Narrowing

This publication has 21 references indexed in Scilit:

• Discovering invariants via simple component analysis
  Journal of Symbolic Computation, 2012
• PAGAI: A Path Sensitive Static Analyser
  Electronic Notes in Theoretical Computer Science, 2012
• Stratified Static Analysis Based on Variable Dependencies
  Electronic Notes in Theoretical Computer Science, 2012
• The Abstract Domain of Parallelotopes
  Electronic Notes in Theoretical Computer Science, 2012
• Solving systems of rational equations through strategy iteration
  ACM Transactions on Programming Languages and Systems, 2011
• On the algebraic structure of declarative programming languages
  Theoretical Computer Science, 2009
• The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems
  Science of Computer Programming, 2008
• Guided Static Analysis
  Lecture Notes in Computer Science, 2007
• Efficient chaotic iteration strategies with widenings
  2006
• Scalable Analysis of Linear Systems Using Mathematical Programming
  2005