@InProceedings{BagnaraDHMZ07,
  Author = "R. Bagnara and K. Dobson and P. M. Hill and M. Mundell
            and E. Zaffanella",
  Title = "Grids: A Domain for Analyzing the Distribution of Numerical Values",
  Booktitle = "Logic-based Program Synthesis and Transformation,
               16th International Symposium",
  Address = "Venice, Italy",
  Editor = "G. Puebla",
  Publisher = "Springer-Verlag, Berlin",
  Series = "Lecture Notes in Computer Science",
  Volume = 4407,
  Year = 2007,
  Note = "To appear",
  Abstract = "This paper explores the abstract domain of \emph{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.  We present the domain, its
              representation and the basic operations on grids
              necessary to define the abstract semantics.  We show how
              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.",
  URL = "http://www.cs.unipr.it/ppl/Documentation/BagnaraDHMZ07.pdf"
}