Lookahead widening

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4144 LNCS, Issue , 2006, Pages 452-466

  Gopan, Denis ^a   Reps, Thomas ^b  

^a University of Wisconsin   (United States)

^b GRAMMATECH INC   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; CONCURRENT ENGINEERING; COST EFFECTIVENESS; MATHEMATICAL OPERATORS; STATIC RANDOM ACCESS STORAGE;

EXISTING WIDENING OPERATORS; HUMAN INVOLVEMENT; LOOKAHEAD WIDENING; PRECISION IMPROVEMENTS;

COMPUTER OPERATING SYSTEMS;

EID: 33749821459     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11817963_41     Document Type: Conference Paper

References (13)

1. R. Bagnara, P. M. Hill, E. Ricci, and E. Zaffanella. Precise widening operators for convex polyhedra. In SAS, 2003.
2. R. Bagnara, E. Ricci, E. Zaffanella, and P. M. Hill. Possibly not closed convex polyhedra and the Parma Polyhedra Library. In SAS, 2002.
3. B. Blanchet, P. Cousot, R. Cousot, J. Feret, L. Mauborgne, A. Miné, D. Monniaux, and X. Rival. Design and implementation of a special-purpose static program analyzer for safety-critical real-time embedded software. In The Essence of Computation: Complexity, Analysis, Transformation. Springer-Verlag, 2002.
4. F. Bourdoncle. Efficient chaotic iteration strategies with widenings. In Formal Methods in Prog. and their Appl., 1993.
5. A. Costan, S. Gaubert, E. Goubault, M. Martel, and S. Putot. A policy iteration algorithm for computing fixed points in static analysis of programs. In CAV, 2005.
6. P. Cousot. Verification by abstract interpretation. In Symp. on Verification, 2003.
7. P. Cousot and R. Cousot. Abstract interpretation: A unified lattice model for static analysis of programs by construction of approximation of fixed points. In POPL, 1977.
8. P. Cousot and N. Halbwachs. Automatic discovery of linear constraints among variables of a program. In POPL, 1978.
9. N. Halbwachs, Y.-E. Proy, and P. Roumanoff. Verification of real-time systems using linear relation analysis. FMSD, 1997.
10. N. Kidd, T. Reps, D. Melski, and A. Lal. WPDS++: A C++ library for weighted pushdown systems, 2004. http://www.cs.wisc.edu/wpis/wpds++/.
11. A. Mine. The Octagon abstract domain. In WCRE, 2001.
12. F. Nielson, H.R. Nielson, and C. Hankin. Principles of Program Analysis. Springer-Verlag, 1999.
13. T. Reps, M. Sagiv, and G. Yorsh. Symbolic implementation of the best transformer. In VMCAI, pages 252-266, 2004.