pkgsrc.se | The NetBSD package collection

./devel/rsltc, RAISE Specification Language Type Checker

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]

Branch: pkgsrc-2022Q1, Version: 2.4nb3, Package name: rsltc-2.4nb3, Maintainer: MarkoSchuetz

rsltc 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.

Master sites:

http://www.iist.unu.edu/newrh/III/3/1/docs/rsltc/source/ (Download)

Filesize: 373.177 KB

Version history: (Expand)

(2022-03-31) Package added to pkgsrc.se, version rsltc-2.4nb3 (created)