|
CS Seminar: Enea Zaffanella, February 26, 2004
- Speaker
-
Dr. Enea Zaffanella,
Dipartimento di Matematica,
University of Parma, Italy.
- Date and Time
-
Thursday, February 26, 2004 at 15:45
- Place
-
Sala Riunioni,
Dipartimento di Matematica,
Università di Parma,
Via D'Azeglio 85/A,
I-43100 Parma
- Title
-
Widenings for Powerset Domains with Applications to
Finite Sets of Polyhedra
- Abstract
-
The finite powerset construction upgrades an abstract domain by
allowing for the representation of finite disjunctions of its
elements. In this talk we present three generic widening operators
for the finite powerset abstract domain. All widenings are obtained by
lifting any widening operator defined on the base-level abstract
domain and are parametric with respect to the specification of a few
additional operators. We illustrate the proposed techniques by
instantiating our widenings on powersets of convex polyhedra, a domain
for which no non-trivial widening operator was previously known.
- Contact Person
-
Roberto Bagnara
[Page last updated on November 04, 2003, 09:50:17.]
|