SAL translator user guide

Citation:
George C, Garis A.  2008.  SAL translator user guide. 1:113-149.

Report Date:

April

Report Number:

227

Abstract:

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.

Citation Key:

2144
PreviewAttachmentSize
sal-userguide.pdf705.32 KB