%0 Report
%D 2008
%T SAL translator user guide
%A George, Chris
%A Ana Garis
%C Macau, China
%I The United Nations University - UNU-IIST
%P 113-149
%V 1
%X <p>This is a user guide for the “rsltc” RAISE tool. This provides type checking; pretty-printing; generation of confidence conditions; showing module dependencies; translation to Standard ML, to C++, and to PVS; and translation to RSL from UML class diagrams. The user guide provides full instructions on the use and installation of this tool on Unix, Linux, and Windows platforms.</p>
%8 April
%> https://haslab.uminho.pt/sites/default/files/agaris/files/sal-userguide.pdf