Бюрократы, Проверяющие участников, importer, Администраторы интерфейса, interwiki, oversight, patroller, Администраторы (Semantic MediaWiki), steward, Скрывающие, Администраторы
8365
правок
Изменения
→Литература
По замыслу разработчиков, аннотируя каждую строку законодательного текста ее значением с точки зрения законодательства, можно получить реализацию сложных социально-фискальных механизмов, которая даст высокий уровень уверенности в соблюдении законодательства при выполнении аннотированного кода языка.
По замыслу разработчиков, аннотируя каждую строку законодательного текста ее значением с точки зрения законодательства, можно получить реализацию сложных социально-фискальных механизмов, которая даст высокий уровень уверенности в соблюдении законодательства при выполнении аннотированного кода языка.
Catala разработан в [[INRIA]], ключевые компоненты его компилятора [[Формальная верификация программ|формально верифицированы]] с использованием языка [[F*.]]
== Литература ==
== Литература ==
[https://dl.acm.org/doi/abs/10.1145/3473582 Catala: a programming language for the law. Denis Merigoux,Nicolas Chataing, Jonathan Protzenko. Proceedings of the ACM on Programming Languages Volume 5 Issue ICFP Article No.: 77 pp 1–29]
[https://dl.acm.org/doi/abs/10.1145/3473582 Catala: a programming language for the law. Denis Merigoux,Nicolas Chataing, Jonathan Protzenko. Proceedings of the ACM on Programming Languages Volume 5 Issue ICFP Article No.: 77 pp 1–29]
== Ссылки ==
== Ссылки ==
* [https://github.com/CatalaLang/ Официальные репозиторий]
* [https://github.com/CatalaLang/ Официальные репозиторий]
* [https://catala-lang.org/ Официальный сайт]
* [https://catala-lang.org/ Официальный сайт]