Home |
Personal Info |
Research |
Papers |
Teaching |
About |
A linear domain for analyzing the distribution of numerical values (TR)
[Page last updated on "gennaio 30, 2006, 20:43:06".]Roberto Bagnara, Katy Dobson, Patricia M. Hill, Matthew Mundell, and Enea Zaffanella.
Abstract
This paper explores the abstract domain of grids, a domain that is able to represent sets of equally spaced points and hyperplanes over an n-dimensional vector space. Such a domain is useful for the static analysis of the patterns of distribution of the values program variables can take. Besides the bare abstract domain, we present a complete set of operations on grids that includes all that is necessary to define the abstract semantics and the widening operators required to compute it in a finite number of steps. The definition of the domain and its operations exploit well-known techniques from linear algebra as well as a dual representation that allows, among other things, for a concise and efficient implementation.
Available: PDF, BibTeX entry.
enea.zaffanella@unipr.it
| Home | Personal Info | Research | Papers | Teaching | About