Category:SPARK: Difference between revisions
Content added Content deleted
(External -> wp link, added paradigms) |
m (Sp) |
||
Line 10: | Line 10: | ||
|LCT=yes}} |
|LCT=yes}} |
||
{{language programming paradigm|concurrent}} |
{{language programming paradigm|concurrent}} |
||
{{language programming paradigm| |
{{language programming paradigm|imperative}} |
||
{{language programming paradigm|object-oriented}} |
{{language programming paradigm|object-oriented}} |
||
[[wp: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. |
[[wp: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. |