SPARK

(language)   An annotated subset of Ada supported by tools supplied by Praxis Critical Systems (originally by PVL).

http://sparkada.com.

Last updated: 2001-07-12


Loading