Язык программирования SPARK

[vak]

Оказывается, язык Ада не умер, а плавно превратился в SPARK. 

SPARK 2014 Reference Manual: http://docs.adacore.com/spark2014-docs/html/lrm/

Книга, объясняющая методологию использования языка SPARK для разработки систем высокой надёжности: https://www.adacore.com/uploads/books/pdf/ePDF-ImplementationGuidanceSPARK.pdf

Исходники микроядра Muen, написанного на SPARK: https://muen.codelabs.ch/

Comments

[juan_gandhi]

Ящеры писали.

https://git.codelabs.ch/?p=muen.git;a=blob;f=common/strings/impl/sk-strings.adb;h=f39fa002c0b04baf9fc9cb84b35d347442f00be8;hb=HEAD

Как будто и не было последних 40 лет.

[vak]

Искусство по прежнему в большом долгу...
Небось унаследовали кучу кода из 80-х, которую выкинуть жалко, а переписать сил нету.