<br />
<b>Deprecated</b>:  The each() function is deprecated. This message will be suppressed on further calls in <b>/home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php</b> on line <b>456</b><br />
@Techreport{BagnaraRZH02TR,
  Author = "R. Bagnara and E. Ricci and E. Zaffanella and P. M. Hill",
  Title = "Possibly Not Closed Convex Polyhedra
           and the {Parma Polyhedra Library}",
  Number = 286,
  Type = "Quaderno",
  Institution = "Dipartimento di Matematica, Universit\`a di Parma, Italy",
  Year = 2002,
  Note = "See also \cite{BagnaraRZH02TRerrata}.
          Available at \url{http://www.cs.unipr.it/Publications/}",
  Abstract = "The domain of convex polyhedra is employed in several
              systems for the analysis and verification of hardware
              and software components. Current applications span imperative,
              functional and logic languages, synchronous languages and
              synchronization protocols, real-time and hybrid systems.
              Since the seminal work of P.~Cousot and N.~Halbwachs,
              convex polyhedra have thus played an important role
              in the formal methods community and several critical tasks
              rely on their software implementations. Despite this,
              existing libraries for the manipulation of convex polyhedra
              are still research prototypes and suffer from limitations
              that make their usage problematic, especially in critical
              applications. These limitations concern inaccuracies in
              the documentation of the underlying theory, code and
              interfaces; numeric overflow and underflow; use of not
              fully dynamic data-structures and poor mechanisms
              for error handling and recovery. In addition, there is
              inadequate support for polyhedra that are not necessarily
              closed (NNC), i.e., polyhedra that are described by systems
              of constraints where strict inequalities are allowed to
              occur. This paper presents the Parma Polyhedra Library,
              a new, robust and complete implementation of NNC convex
              polyhedra, concentrating on the distinctive features
              of the library and on the novel theoretical underpinnings."
}

@Misc{BagnaraRZH02TRerrata,
  Author = "R. Bagnara and E. Ricci and E. Zaffanella and P. M. Hill",
  Title = "Errata for Technical Report {``Quaderno 286''}",
  Howpublished = "Available at \url{http://www.cs.unipr.it/Publications/}",
  Year = 2002,
  Note = "See \cite{BagnaraRZH02TR}"
}