. "SPARK"@en . . "2015-02-17Z"^^ . . . "SPARK is a formally defined computer programming language based on the Ada programming language, intended for the development of high integrity software used in systems where predictable and highly reliable operation is essential."@en . . "15.0.1" . .