LINUX.ORG.RU

Albatross


0

0

Всего сообщений: 1

Albatross 0.1 — это язык программирования со статической верификацией

Группа Open Source

Albatross — это язык программирования со статической верификацией и средство доказательства теорем. Компилятор написан на OCaml 4.

Описание языка (PDF)

Страница загрузки

>>> Подробности

 , , ,

olibjerd ()