\batchmode

\documentstyle[a4,epsf]{article}
\makeatletter

%








%



%

%


%

%

%

%
\let\s\texttt{%}




%





































































		%
		%
		%



\title{Summary of the 
AITEC-funded CCOPS project: The BS-Solve \ system}
\author{
F. Benhamou, P. Codognet, L. Granvilliers \\ 
G. Hains, A. Lallouet, Q. Miller, N. Romero\\ 
Universit\'e de Nantes, INRIA, Universit\'e d'Orl\'eans, Oxford University}
%
\date{}


\def\nom{BS-Solve}

\def\prefix{\texttt{\textit{Type}}}

\newenvironment {bnf}
{
\begin{tabbing}
xxxxxxxxxxxxx\=::=xx\=\kill
}
{
\end{tabbing}
}

\def\bnfeq{ \>\texttt{::= }\> }

\def\bnfor{\texttt{|}}

\def\tok#1{\texttt{\textit{#1}}}

\def\deftok#1{\\ \\ \tok{ #1}  \bnfeq}

\def\kwd#1{\texttt{#1}}

\def\bsstype{\texttt{BssType}}

\def\bssvalue{\texttt{BssValue}}

\def\bssprefix{\texttt{Bss}}

\def\int{\texttt{Integer}}

\def\intprefix{\texttt{Int}}

\def\bssint{\bssprefix\intprefix}

\def\rat{\texttt{Rational}}

\def\ratprefix{\texttt{Rat}}

\def\bssrat{\bssprefix\ratprefix}

\def\flt{\texttt{Float}}

\def\fltprefix{\texttt{Flt}}

\def\bssflt{\bssprefix\fltprefix}

\def\itv{\texttt{Interval}}

\def\itvprefix{\texttt{Itv}}

\def\bssitv{\bssprefix\itvprefix}

\def\minf{\texttt{MinusInfinity}}

\def\infprefix{\texttt{Inf}}

\def\pinf{\texttt{PlusInfinity}}

\def\bssinf{\bssprefix\infprefix}

\def\alloc{\texttt{Alloc}}

\def\alloccopy{\texttt{AllocCopy}}

\def\allocinit{\texttt{AllocInit}}

\def\set{\texttt{Set}}

\def\copie{\texttt{Copy}}

\def\free{\texttt{Free}}

\def\add{\texttt{Add}}

\def\sub{\texttt{Sub}}

\def\minus{\texttt{Minus}}

\def\mul{\texttt{Mul}}

\def\div{\texttt{Div}}

\def\sqrt{\texttt{Sqrt}}

\def\abs{\texttt{Abs}}

\def\sqr{\texttt{Sqr}}

\def\pow{\texttt{Pow}}

\def\inter{\texttt{Inter}}

\def\print{\texttt{Write}}

\def\cmp{\texttt{Cmp}}

\def\tobstring{\texttt{2bstring}}

\def\bstringto{\texttt{bstring2}}

\def\towstring{\texttt{2wstring}}

\def\wstringto{\texttt{wstring2}}

\def\toklic{\texttt{2klic}}

\def\klicto{\texttt{klic2}}

\def\bssvar{\texttt{BssVar}}

\def\bssctr{\texttt{BssCtr}}

\def\bssopr{\texttt{BssOpr}}

\def\functor{\texttt{FOp}}

\def\fopr{\texttt{FOp}}

\def\fvar{\texttt{FVar}}

\def\bssfml{\bssprefix \texttt{Formula}}

\def\fmlprefix{\texttt{Fml}}

\def\fmltype{\fmlprefix \texttt{Type}}

\newcommand {\nomcourt}{BSS}

\newcommand {\Pow}[1]{{\cal P}_{\small\mbox{fin}}(#1)}

\newcommand {\partialfun}{\stackrel{\mbox{fin}}{\longrightarrow}}

\newcommand {\Loc}{\mbox{Loc}}

\newcommand {\Val}{\mbox{Val}}

\newcommand {\LocState}{\mbox{LocState}}

\newcommand {\GlobState}{\mbox{GlobState}}

\newcommand {\Op}{\mbox{Op}}

\newcommand {\Agent}{\mbox{Agent}}

\newcommand {\Expansion}{\mbox{Expansion}}

\newcommand {\Contraction}{\mbox{Contraction}}

\newcommand {\textbf}[1]{{\bf #1}}

\newcommand {\texttt}[1]{{\tt #1}}

\newcommand {\emph}[1]{{\em #1}}

\newenvironment {pred}[1]
{\noindent\textbf{#1}
  \begin{flushright}
 \begin{minipage}{11cm}
}
{
\end{minipage}
\end{flushright}
}

\newcommand {\waltz}{BS-Waltz }

\newcommand {\gb}{BS-Gr\"{o}bner }

\newcommand {\R}{\rm I\!R}

\newtheorem {example}{Example}

\newtheorem {defn}{Definition}

\makeatother
\newenvironment{tex2html_wrap}{}{}
\newwrite\lthtmlwrite
\def\lthtmltypeout#1{{\let\protect\string\immediate\write\lthtmlwrite{#1}}}%
\newbox\sizebox
\begin{document}
\pagestyle{empty}
{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$p\times p$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline357: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\R$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline359: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \begin{figure}[htbp]
  \begin{center}
    \leavevmode
%

\epsfile{file=bssarch.eps,width=6cm}
    
    \label{fig:bssarch}
  \end{center}
\end{figure}
}

{\newpage
\clearpage
\samepage \begin{figure}[htbp]
  \begin{center}
    \leavevmode
%

\epsfile{file=bspstart.eps,width=6cm}
    
    \label{fig:bspk:before}
  \end{center}
\end{figure}
}

{\newpage
\clearpage
\samepage \begin{figure}[htbp]
  \begin{center}
    \leavevmode
%

\epsfile{file=bspexec.eps,width=6cm}
    
    \label{fig:bspk:after}
  \end{center}
\end{figure}
}


\end{document}
