|
CS Seminar: Patricia M. Hill, November 19, 2003
- Speaker
-
Dr. Patricia M. Hill,
School of Computer Studies,
University of Leeds, UK.
- Date and Time
-
Wednesday, November 19, 2003 at 14:30
- Place
-
Sala Riunioni,
Dipartimento di Matematica,
Università di Parma,
Via D'Azeglio 85/A,
I-43100 Parma
- Title
-
Discrete Numerical Domains for the Analysis of Software
- Abstract
-
Many static analysis applications of polyhedra require information on
certain regularly spaced discrete values such as those on an integer
grid that occur within the polyhedra. The domain of point lattices,
being a natural generalization of the set of integral points in an
n-dimensional space, is an appropriate domain for representing the
discrete values. In this talk we will describe this domain, its two
representations that mirror the constraint and generator descriptions
for convex polyhedra, and several operations required for their use
with polyhedra in static analysis.
- Contact Person
-
Roberto Bagnara
[Page last updated on November 04, 2003, 09:58:30.]
|