SPARK — что это?

Язык программирования: SPARK Характеристика 1: Характеристика 2: Характеристика 3: Пояснения Остались вопросы по SPARK? Задавайте в комментариях!