Rosetta Code

Category:SPARK: Difference between revisions

Category Discussion

Category:SPARK (view source)

Revision as of 12:22, 22 November 2016

103 bytes added ,  7 years ago
add changed syntax coming with SPARK 2014
(update link to language reference of spark)
(add changed syntax coming with SPARK 2014)
 
Line 24:
*Absence of dead paths.
 
TheIn older versions, the annotations always beginbegan, on each line, with the Ada comment symbol “--”, so all SPARK programs comply with the [[Ada]] standard. Newer versions, starting with SPARK 2014, use the aspect syntax known from Ada 2012.
 
A SPARK program can be compiled by any [[Ada]] compiler or processed by any other [[Ada]] tool.
Oenone
256

edits

Retrieved from "https://rosettacode.org/wiki/Special:MobileDiff/154884"