cs@parma

Home

People

Projects

Publications

Seminars

Software

Links

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.]

Page maintained by
Enea Zaffanella

Home | People | Projects | Publications | Seminars | Software | Links