% \adrhsection{RAISE tools}{cwg}
\author{cwg}
\reviewer{rm}
\date{\today}
% Start typing here

UNU/IIST has produced a portable type checker, \emph{rsltc}, for the
RAISE Specification Language (RSL).  The type checker is portable
across Unix and PC platforms and is available free from 
\xlink{here}{docs/rsltc}.  There are
ready-built binaries for
\xlink{Linux}{docs/rsltc/linux} (i386),
\xlink{Windows}{docs/rsltc/windows} and
\xlink{Sparc/Solaris}{docs/rsltc/solaris}.
The \xlink{source code}{docs/rsltc/source}
is also available, as is a user and installation guide available for
\xlink{download}{docs/rsltc/user_guide} or
as
\xlink{html}{docs/rsltc/user_guide/html/ug.html}.

The basic type checker has been extensively extended by UNU/IIST
fellows:

\begin{itemize}
\item Ms He Hua of Peking University, China, wrote a pretty printer.
\item Tan Xinming of Wuhan Jiaotong University, China, wrote a ``confidence
  condition'' generator.
\item Ke Wei of Academia Sinica, China, wrote a translator to Standard ML.
\item Ahn Yong Jun of Kim Il Sung University, DPR Korea, wrote a
  translator to C++.
\item Aristides Dasso of San Luis University, Argentina, wrote a
  translator to PVS.
\item Ms Ana Funes of San Luis University, Argentina, wrote a
  translator from UML to RSL.
\item Juan Perna of San Luis University, Argentina, wrote a
  translator from UML to SAL, and Ms Ana Garis, also from San Luis
  University, wrote a user guide for that translator.
\end{itemize}

These extensions are all included in the rsltc tool.  The SML
translator needs some extra \xlink{files}{docs/rsltc/sml}, the C++
translator needs some \xlink{library files}{docs/rsltc/cpp}, and the
PVS translator also needs a \xlink{library file}{docs/rsltc/pvs}.  The
translator from UML is \xlink{here}{docs/rsltc/UML2RSL}.

The rsltc tool is written using the
\texorhtml{Gentle}{\xlink{Gentle}{http://www.first.gmd.de/gentle/}}
Compiler Construction System. This is well documented and free for
educational use.  

The RAISE tools are also available from the UNU/IIST ftp site
\texttt{ftp.iist.unu.edu}, in \texttt{/pub/RAISE/rsltc}.  Log in as
``anonymous''.


 
 
% Local Variables:
% TeX-master: "main"
% End: