“Fixing” the Specification of Widenings

This publication has 41 references indexed in Scilit:

• 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
• Widening and narrowing operators for abstract interpretation
  Computer Languages, Systems & Structures, 2011
• Some Experience on the Software Engineering of Abstract Interpretation Tools
  Electronic Notes in Theoretical Computer Science, 2010
• A minimalistic look at widening operators
  Higher-Order and Symbolic Computation, 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
• Semantic analysis of interval congruences
  2006
• Precise widening operators for convex polyhedra
  Science of Computer Programming, 2005
• Abstract Interpretation Frameworks
  Journal of Logic and Computation, 1992