Stratified Static Analysis Based on Variable Dependencies
Open Access
- 29 November 2012
- journal article
- research article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 288, 61-74
Abstract
No abstract availableKeywords
All Related Versions
This publication has 22 references indexed in Scilit:
- Widening and narrowing operators for abstract interpretationComputer Languages, Systems & Structures, 2011
- Automatic Modular Abstractions for Template Numerical ConstraintsLogical Methods in Computer Science, 2010
- A minimalistic look at widening operatorsHigher-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 systemsScience of Computer Programming, 2008
- Slicing as a program transformationACM Transactions on Programming Languages and Systems, 2007
- Some ways to reduce the space dimension in polyhedra computationsFormal Methods in System Design, 2006
- Precise widening operators for convex polyhedraScience of Computer Programming, 2005
- Symbolic Methods to Enhance the Precision of Numerical Abstract Domains2005
- A static analyzer for large safety-critical softwareACM SIGPLAN Notices, 2003
- Abstract Interpretation FrameworksJournal of Logic and Computation, 1992