Catala
Версия от 19:38, 23 декабря 2023; Wikitraditio (комментарии | вклад)
|
Это незавершённая статья. Вы можете помочь проекту, исправив и дополнив её. |
Catala — специализированный язык программирования, предназначенный для программной реализации смысла юридических текстов в коде. Он является языком литературного программирования в сфере социально-фискального законодательства.
По замыслу разработчиков, аннотируя каждую строку законодательного текста ее значением с точки зрения законодательства, можно получить реализацию сложных социально-фискальных механизмов, которая даст высокий уровень уверенности в соблюдении законодательства при выполнении аннотированного кода языка.
Catala разработан в INRIA, ключевые компоненты его компилятора формально верифицированы с использованием языка F*.