This is Enea.

Home

Personal Info

Research

Papers

Teaching

About

Widening Operators for Weakly-Relational Numeric Abstractions (NSAD'05)

[Page last updated on "January 13, 2005, 17:12:48".]

Roberto Bagnara, Patricia M. Hill, Elena Mazzi, and Enea Zaffanella

Abstract

We discuss the divergence problems recently identified in some extrapolation operators for weakly-relational numeric domains. We identify the cause of the divergences and point out that resorting to more concrete, syntactic domains can be avoided by researching suitable algorithms for the elimination of redundant constraints in the chosen representation.


Available: PDF, 300 DPI, 600 DPI, and 1200 DPI PostScript, DVI, and BibTeX entry.
© Enea Zaffanella
enea.zaffanella@unipr.it

| Home | Personal Info | Research | Papers | Teaching | About