Albatross — это язык программирования со статической верификацией и средство доказательства теорем. Компилятор написан на OCaml 4.>>> [ Описание языка (PDF) ]( http://albatross-lang.sourceforge.net/doc/language_description/albatross.pdf ) >>> [ Страница загрузки ]( http://sourceforge.net/projects/albatross-lang/ )
Ссылка: http://www.linux.org.ru/news/opensource/11575627