Comment Re:a language that forces good code? (Score 2, Informative) 827
Most of the C130J Mission Computer Software (which is cited in the article) is written in SPARK - a
highly secure, annotated subset of Ada.
- Rod Chapman, PxCS
highly secure, annotated subset of Ada.
- Rod Chapman, PxCS