cs@parma

Home

People

Projects

Publications

Seminars

Software

Links

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

Page maintained by
Enea Zaffanella

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