Numeric Domains with Summarized Dimensions

This publication has 13 references indexed in Scilit:

• The octagon abstract domain
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library
  Published by Springer Nature ,2002
• A Few Graph-Based Relational Numerical Abstract Domains
  Published by Springer Nature ,2002
• Parametric shape analysis via 3-valued logic
  ACM Transactions on Programming Languages and Systems, 2002
• Putting static analysis to work for verification
  Published by Association for Computing Machinery (ACM) ,2000
• TVLA: A System for Implementing Static Analyses
  Published by Springer Nature ,2000
• Verification of Real-Time Systems using Linear Relation Analysis
  Formal Methods in System Design, 1997
• Generalized Constant Propagation a study in C
  Published by Springer Nature ,1996
• Compiler Analysis of the Value Ranges for Variables
  IEEE Transactions on Software Engineering, 1977
• Fourier-Motzkin elimination and its dual
  Journal of Combinatorial Theory, Series A, 1973