Two of these authors are also two of the creators of the Catala programming language, which is "a domain-specific programming language designed for deriving cor

Two of these authors are also two of the creators of the Catala programming language, which is "a domain-specific programming language designed for deriving correct-by-construction implementations from legislative texts." (https://catala-lang.org/en/ https://catala-lang.org/en/). Other publications in this area can be found at https://catala-lang.org/en/publications https://catala-lang.org/en/publications.