(language) An annotated subset of Ada supported by tools supplied by Praxis Critical Systems (originally by PVL).
Last updated: 2001-07-12