Najnowsza wersja SPARK 2014 wymaga umieszczania frazy with SPARK_Mode w specyfikacji i treści pakietu.

Poniższe pliki zawierają zaktualizowane źródła dotychczas rozpatrywanych przykładów:

• szukaj_2014.zip
• szukaj2_2014.zip
• divide_2014.zip
• absolute_2014.zip

Artykuł o języku SPARK 2014 w systemach wbudowanych: Stuart Matthews, SPARK 2014: Why I am backing a predictable winner.

Najnowsza wersja SPARK GPL dostępna jest na stronie libre.adacore.com/download. Więcej informacji na stronie www.spark-2014.org.

Tags: download