Can I read Catala: A Programming Language for the Law on EtoBox?

Catala: A Programming Language for the Law by Merigoux, Denis; Chataing, Nicolas; Protzenko, Jonathan is a scholarly article available to read on EtoBox.

What is Catala: A Programming Language for the Law about?

Law at large underpins modern society, codifying and governing many aspects of citizens' daily lives. Oftentimes, law is subject to interpretation, debate and challenges throughout various courts and jurisdictions. But in some other areas, law leaves little room for interpretation, and essentially aims to rigorously describe a computation, a decision procedure or, simply said, an algorithm. Unfortunately, prose remains a woefully inadequate tool for the job. The lack of formalism leaves room for ambiguities; the structure of legal statutes, with many paragraphs and sub-sections spread across multiple pages, makes it hard to compute the intended outcome of the algorithm underlying a given text; and, as with any other piece of poorly-specified critical software, the use of informal language leaves corner cases unaddressed. We introduce Catala, a new programming language that we specifically designed to allow a straightforward and systematic translation of statutory law into an executable implementation. Catala aims to bring together lawyers and programmers through a shared medium, which together they can understand, edit and evolve, bridging a gap that often results in dramatically i

Author

Merigoux, Denis; Chataing, Nicolas; Protzenko, Jonathan

Published

2021

Language

EN