Изменения

{{Болванка}}

{{Болванка}}

'''Catala'''  — специализированный [[язык программирования]], предназначенный для программной реализации смысла юридических текстов в коде. Он является языком [[Литературное программирование|литературного программирования]], предназначенного для решения задач в сфере практической реализации социального и фискального законодательства.

'''Catala'''  — специализированный [[язык программирования]], предназначенный для программной реализации смысла юридических текстов в коде. Он является языком [[Литературное программирование|литературного программирования]], предназначенного для решения задач в сфере практической реализации социального и фискального законодательства. Catala разработан в [[INRIA]], ключевые компоненты его компилятора [[Формальная верификация программ|формально верифицированы]] с использованием языка [[F*.]]

По замыслу разработчиков, аннотируя каждую строку законодательного текста ее значением с точки зрения законодательства, можно получить реализацию сложных социально-фискальных механизмов, которая даст высокий уровень уверенности в соблюдении законодательства при выполнении аннотированного кода языка.

По замыслу разработчиков, аннотируя каждую строку законодательного текста ее значением с точки зрения законодательства, можно получить реализацию сложных социально-фискальных механизмов, которая даст высокий уровень уверенности в соблюдении законодательства при выполнении аннотированного кода языка.

Catala разработан в [[INRIA]], ключевые компоненты его компилятора [[Формальная верификация программ|формально верифицированы]] с использованием языка [[F*.]]

Catala позволяет выражать общую логику случаев/исключений, характерную для нормативно-правовых документов [[Статутное право|статутного права]].  

== Литература ==

== Литература ==