A minimalistic look at widening operators
- 1 June 2009
- journal article
- Published by Springer Nature in Higher-Order and Symbolic Computation
- Vol. 22 (2) , 145-154
Abstract
No abstract availableKeywords
All Related Versions
This publication has 9 references indexed in Scilit:
- Optimal Abstraction on Real-Valued ProgramsLecture Notes in Computer Science, 2006
- A Policy Iteration Algorithm for Computing Fixed Points in Static Analysis of Programs2005
- Proving Program Invariance and Termination by Parametric Abstraction, Lagrangian Relaxation and Semidefinite Programming2005
- Widening Operators for Weakly-Relational Numeric AbstractionsLecture Notes in Computer Science, 2005
- Interactive Theorem Proving and Program Development2004
- A static analyzer for large safety-critical software2003
- Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software2002
- Delay analysis in synchronous programs1993
- Abstract Interpretation FrameworksJournal of Logic and Computation, 1992