Catala: различия между версиями
Перейти к навигации
Перейти к поиску
| Строка 3: | Строка 3: | ||
По замыслу разработчиков, аннотируя каждую строку законодательного текста ее значением с точки зрения законодательства, можно получить реализацию сложных социально-фискальных механизмов, которая даст высокий уровень уверенности в соблюдении законодательства при выполнении аннотированного кода языка. | По замыслу разработчиков, аннотируя каждую строку законодательного текста ее значением с точки зрения законодательства, можно получить реализацию сложных социально-фискальных механизмов, которая даст высокий уровень уверенности в соблюдении законодательства при выполнении аннотированного кода языка. | ||
| + | |||
| + | 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/ Официальный сайт] | ||
Версия от 19:37, 23 декабря 2023
|
Это незавершённая статья. Вы можете помочь проекту, исправив и дополнив её. |
Catala — специализированный язык программирования, предназначенный для программной реализации смысла юридических текстов в коде. Он является языком литературного программирования в сфере социально-фискального законодательства.
По замыслу разработчиков, аннотируя каждую строку законодательного текста ее значением с точки зрения законодательства, можно получить реализацию сложных социально-фискальных механизмов, которая даст высокий уровень уверенности в соблюдении законодательства при выполнении аннотированного кода языка.
Catala разработан в INRIA, ключевые компоненты его компилятора формально верифицированы с использованием языка F*.