Anonymous user
Category:SPARK: Difference between revisions
External -> wp link, added paradigms
m (Made Ada references into links) |
(External -> wp link, added paradigms) |
||
Line 9:
|safety=safe
|LCT=yes}}
{{language programming paradigm|concurrent}}
[http://en.wikipedia.org/wiki/SPARK_programming_language '''SPARK'''] or '''SPARK Ada''' is a sub-language of [[Ada]], supplemented with annotations (formal comments). Its primary purpose is for high-integrity applications, where static analysis of the source is used to determine properties of the program.▼
{{language programming paradigm|imparative}}
{{language programming paradigm|object-oriented}}
▲[
The properties that SPARK code can be analysed for are:
|