Widening Operators for Weakly-Relational Numeric Abstractions

This publication has 22 references indexed in Scilit:

• Precise widening operators for convex polyhedra
  Science of Computer Programming, 2005
• Widening Operators for Powerset Domains
  Published by Springer Nature ,2004
• The Octahedron Abstract Domain
  Published by Springer Nature ,2004
• Precise Widening Operators for Convex Polyhedra
  Published by Springer Nature ,2003
• A static analyzer for large safety-critical software
  Published by Association for Computing Machinery (ACM) ,2003
• An application of constraint propagation to data-flow analysis
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A technique for summarizing data access and its use in parallelism enhancing transformations
  Published by Association for Computing Machinery (ACM) ,1989
• Systematic design of program analysis frameworks
  Published by Association for Computing Machinery (ACM) ,1979
• Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints
  Published by Association for Computing Machinery (ACM) ,1977
• The Transitive Reduction of a Directed Graph
  SIAM Journal on Computing, 1972