1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180
|
% Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it>
% Copyright (C) 2010-2016 BUGSENG srl (http://bugseng.com)
%
% This document describes the Parma Polyhedra Library (PPL).
%
% Permission is granted to copy, distribute and/or modify this document
% under the terms of the GNU Free Documentation License, Version 1.2
% or any later version published by the Free Software Foundation;
% with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.
% The license is included, in various formats, in the `doc' subdirectory
% of each distribution of the PPL in files named `fdl.*'.
%
% The PPL is free software; you can redistribute it and/or modify it
% under the terms of the GNU General Public License as published by the
% Free Software Foundation; either version 3 of the License, or (at your
% option) any later version. The license is included, in various
% formats, in the `doc' subdirectory of each distribution of the PPL in
% files named `gpl.*'.
%
% The PPL is distributed in the hope that it will be useful, but WITHOUT
% ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
% FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
% for more details.
%
% If you have not received a copy of one or both the above mentioned
% licenses along with the PPL, write to the Free Software Foundation,
% Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA.
%
% For the most up-to-date information see the Parma Polyhedra Library
% site: http://bugseng.com/products/ppl/ .
\documentclass[a4paper,twoside]{article}
\usepackage{a4wide}
\usepackage{makeidx}
\usepackage{fancyhdr}
\usepackage{graphicx}
\usepackage{multicol}
\usepackage{float}
\usepackage{textcomp}
\usepackage{alltt}
\usepackage{times}
\usepackage{tocloft}
\usepackage{ifpdf}
\usepackage[table]{xcolor}
\ifpdf
\usepackage[pdftex,
pagebackref=true,
colorlinks=true,
linkcolor=blue,
unicode
]{hyperref}
\else
\usepackage[ps2pdf,
pagebackref=true,
colorlinks=true,
linkcolor=blue,
unicode
]{hyperref}
\usepackage{pspicture}
\fi
\usepackage[utf8]{inputenc}
\usepackage{ifthen}
\usepackage{doxygen}
\newcommand{\+}{\discretionary{\mbox{\scriptsize$\hookleftarrow$}}{}{}}
\usepackage{ppl}
\makeindex
\setcounter{tocdepth}{2}
\renewcommand{\footrulewidth}{0.4pt}
\fancyfoot{}
\fancyfoot[LE,RO]{\includegraphics[height=0.4cm]{ppl_logo_no_ppl.pdf}}
\fancyfoot[RE,LO]{\small The PPL Developer's Manual (version $projectnumber). See \url{http://bugseng.com} for more information.}
\setlength{\headheight}{24pt}
% Custom commands
\newcommand{\clearemptydoublepage}{%
\newpage{\pagestyle{empty}\cleardoublepage}%
}
\begin{document}
\title{
\includegraphics[height=9cm]{ppl_logo.pdf} \\
\ \\
The Parma Polyhedra Library \\
Developer's Manual\thanks{This work is based on previous work also by
Elisa Ricci, Sara Bonini, Andrea Pescetti, Angela Stazzone, Tatiana Zolo.
This work has been partly supported by:
University of Parma's FIL scientific research project (ex 60\%)
``Pure and Applied Mathematics'';
MURST project
``Automatic Program Certification by Abstract Interpretation'';
MURST project
``Abstract Interpretation, Type Systems and Control-Flow Analysis'';
MURST project
``Automatic Aggregate- and Number-Reasoning for Computing: from
Decision Algorithms to Constraint Programming with Multisets,
Sets, and Maps'';
MURST project
``Constraint Based Verification of Reactive Systems'';
MURST project
``Abstract Interpretation: Design and Applications'';
EPSRC project
``Numerical Domains for Software Analysis'';
EPSRC project
``Geometric Abstractions for Scalable Program Analyzers''.
} \\
(version $projectnumber)
}
\author{
Roberto Bagnara\thanks{bagnara@cs.unipr.it,
Department of Mathematics, University of Parma, Italy,
and BUGSENG srl.} \\
Patricia M. Hill\thanks{patricia.hill@bugseng.com,
BUGSENG srl.} \\
Enea Zaffanella\thanks{zaffanella@cs.unipr.it,
Department of Mathematics, University of Parma, Italy,
and BUGSENG srl.} \\
Abramo Bagnara\thanks{abramo.bagnara@bugseng.com,
BUGSENG srl.} \\
}
{\sffamily\maketitle}
\thispagestyle{empty}
\clearpage{\pagestyle{empty}\cleardoublepage}
\newpage
Copyright \copyright\ 2001--2010 Roberto Bagnara (bagnara@cs.unipr.it) \\
Copyright \copyright\ 2010--2016 BUGSENG srl (http://bugseng.com)
This document describes the Parma Polyhedra Library (PPL).
Permission is granted to copy, distribute and/or modify this document
under the terms of the GNU Free Documentation License, Version 1.2
or any later version published by the
\href{http://www.fsf.org}{Free Software Foundation};
with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.
A copy of the license is included in the section entitled
``\hyperlink{GFDL_GFDL}{GNU Free Documentation License}''.
The PPL is free software; you can redistribute it and/or modify it
under the terms of the GNU General Public License as published by the
\href{http://www.fsf.org}{Free Software Foundation}; either version 3
of the License, or (at your option) any later version.
A copy of the license is included in the section entitled
``\hyperlink{GPL_GPL}{GNU GENERAL PUBLIC LICENSE}''.
The PPL is distributed in the hope that it will be useful, but WITHOUT
ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
for more details.
If you have not received a copy of one or both the above mentioned
licenses along with the PPL, write to the Free Software Foundation,
Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA.
For the most up-to-date information see the Parma Polyhedra Library
site:
\begin{center}
\href{http://bugseng.com/products/ppl/}{\tt http://bugseng.com/products/ppl/}
\end{center}
\vfill
\begin{center}
\includegraphics[width=5cm]{bugseng_logo.pdf}
\end{center}
\vfill
\clearpage{\pagestyle{empty}\cleardoublepage}
% The following command is needed to have the right footer on
% the first page of the TOC.
\addtocontents{toc}{\protect\thispagestyle{fancy}}
% Make sure there is enough space in the TOC for long subsection numbers.
\addtolength{\cftsubsecnumwidth}{1em}
\pagenumbering{roman}
\tableofcontents
\clearpage{\pagestyle{empty}\cleardoublepage}
\pagenumbering{arabic}
|