Revision as of 17:55, 19 August 2010 (view source) rosettacode>Mwn3d (External -> wp link, added paradigms) ← Older edit		Revision as of 17:55, 19 August 2010 (view source) rosettacode>Mwn3d m (Sp) Newer edit →
Line 10: \|LCT=yes}} {{language programming paradigm\|concurrent}} {{language programming paradigm\|~~imparative~~imperative}} {{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.

Category:SPARK (view source)