Catala: различия между версиями
| Строка 1: | Строка 1: | ||
{{Болванка}} | {{Болванка}} | ||
| − | '''Catala''' — специализированный [[язык программирования]], предназначенный для программной реализации смысла юридических текстов в коде. Он является языком [[Литературное программирование|литературного программирования]], предназначенного для решения задач в сфере практической реализации социального и фискального законодательства. | + | '''Catala''' — специализированный [[язык программирования]], предназначенный для программной реализации смысла юридических текстов в коде. Он является языком [[Литературное программирование|литературного программирования]], предназначенного для решения задач в сфере практической реализации социального и фискального законодательства. Catala разработан в [[INRIA]], ключевые компоненты его компилятора [[Формальная верификация программ|формально верифицированы]] с использованием языка [[F*.]] |
По замыслу разработчиков, аннотируя каждую строку законодательного текста ее значением с точки зрения законодательства, можно получить реализацию сложных социально-фискальных механизмов, которая даст высокий уровень уверенности в соблюдении законодательства при выполнении аннотированного кода языка. | По замыслу разработчиков, аннотируя каждую строку законодательного текста ее значением с точки зрения законодательства, можно получить реализацию сложных социально-фискальных механизмов, которая даст высокий уровень уверенности в соблюдении законодательства при выполнении аннотированного кода языка. | ||
| − | Catala | + | Catala позволяет выражать общую логику случаев/исключений, характерную для нормативно-правовых документов [[Статутное право|статутного права]]. |
== Литература == | == Литература == | ||
Версия от 19:43, 23 декабря 2023
|
Это незавершённая статья. Вы можете помочь проекту, исправив и дополнив её. |
Catala — специализированный язык программирования, предназначенный для программной реализации смысла юридических текстов в коде. Он является языком литературного программирования, предназначенного для решения задач в сфере практической реализации социального и фискального законодательства. Catala разработан в INRIA, ключевые компоненты его компилятора формально верифицированы с использованием языка F*.
По замыслу разработчиков, аннотируя каждую строку законодательного текста ее значением с точки зрения законодательства, можно получить реализацию сложных социально-фискальных механизмов, которая даст высокий уровень уверенности в соблюдении законодательства при выполнении аннотированного кода языка.
Catala позволяет выражать общую логику случаев/исключений, характерную для нормативно-правовых документов статутного права.