2 ms·
Ada-based languages (such as SPARK) are still used in developing modern aviation systems.
by vezzy-fnord 12y ago
Ada-based languages (such as SPARK) are still used in developing modern aviation systems.
- sitkack 12y agohttp://en.wikipedia.org/wiki/SPARK_(programming_language) http://en.wikipedia.org/wiki/SPARK_(programming_language) It would be interesting to have a version of SPIN [0] using this. This [1] looks really fresh. And I love the idea of creating new languages out of a subset. Almost all teams create an ad hoc language subset, formalizing it can be really powerful. [0] http://en.wikipedia.org/wiki/SPIN_(operating_system) http://en.wikipedia.org/wiki/SPIN_(operating_system) [1] http://www.spark-2014.org/about/ http://www.spark-2014.org/about/