Access the full text.
Sign up today, get DeepDyve free for 14 days.
X Leroy (2006)
Formal certification of a compiler back-end or: programming a compiler with a proof assistantSIGPLAN Not, 41
Sandra Wachter, B. Mittelstadt, Chris Russell (2017)
Counterfactual Explanations Without Opening the Black Box: Automated Decisions and the GDPRCybersecurity
Michael Bell (1985)
Why Expert Systems FailJournal of the Operational Research Society, 36
Mary Kery, Marissa Radensky, Mahima Arya, Bonnie John, B. Myers (2018)
The Story in the Notebook: Exploratory Data Science using a Literate Programming ToolProceedings of the 2018 CHI Conference on Human Factors in Computing Systems
Denis Merigoux, Nicolas Chataing, Jonathan Protzenko (2021)
Catala: a programming language for the lawProceedings of the ACM on Programming Languages, 5
E. Bertrand, P. Catala, Lucien Mehl (1974)
Constitution et exploitation informatique d'un ensemble documentaire en droit : droit de l'urbanisme et de la construction
P. Laplante, C. Neill (2004)
The Demise of the Waterfall Model Is Imminent, and Other Urban MythsQueue, 1
D. Waterman, J. Paul, M. Peterson (1986)
Expert systems for legal decision makingExpert Systems, 3
Laplante and Colin J . Neill . The demise of the waterfall model is imminent
B. Blanchet, P. Cousot, R. Cousot, Jérôme Feret, Laurent Mauborgne, A. Miné, D. Monniaux, Xavier Rival (2002)
Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software
E. Dijkstra (1972)
The humble programmerCommun. ACM, 15
Belfrit Victor (2013)
Revisiting legacy systems and legacy modernization from the industrial perspective
X. Leroy (2006)
Formal certification of a compiler back-end or: programming a compiler with a proof assistant
Andrew Wright, M. Felleisen (1994)
A Syntactic Approach to Type SoundnessInf. Comput., 115
Nils Holzenberger, Andrew Blair-Stanek, Benjamin Durme (2020)
A Dataset for Statutory Reasoning in Tax Law Entailment and Question Answering
A. Ourghanlian (2015)
EVALUATION OF STATIC ANALYSIS TOOLS USED TO ASSESS SOFTWARE IMPORTANT TO NUCLEAR POWER PLANT SAFETYNuclear Engineering and Technology, 47
SB Lawsky (2018)
A Logic for StatutesFlorida Tax Rev, 24
G Fischer, K Nakakoji, Y Ye (2009)
Metadesign: guidelines for supporting domain experts in software developmentIEEE Softw, 26
Sébastien Shulz (2019)
Un logiciel libre pour lutter contre l’opacité du système sociofiscalRevue française de science politique
C Gaie (2020)
From secured legacy systems to interoperable services (the careful evolution of the french tax administration to provide new possibilities while ensuring the primary tax recovering objective)Int J Comput Syst Eng, 6
S Wachter, B Mittelstadt, L Floridi (2017)
Why a right to explanation of automated decision-making does not exist in the general data protection regulationInt Data Privacy Law, 7
C. Coglianese, L. Dor (2020)
AI in Adjudication and Administration: A Status Report on Governmental Use of Algorithmic Tools in the United StatesSSRN Electronic Journal
S. Cottin (2006)
La Légistique Assistée par Ordinateur: Utopies et Réalités des Confrontations Entre les Nouvelles Technologies, l’Inflation Législative et la Sécurité Juridique - Les Expériences Françaises (Computer-Assisted Law-Making-Process: Information Technologies and Legal Certainty - French Experiments
Emre Bayamlıoğlu (2018)
Transparency of Automated Decisions in the GDPR: An Attempt for SystemisationTilburg Law School Legal Studies Research Paper Series
L Huttner, D Merigoux (2021)
Traduire la loi en code grâce au langage de programmation CatalaRev de Droit Fiscal, 5
Sandra Wachter, B. Mittelstadt, L. Floridi (2017)
Why a Right to Explanation of Automated Decision-Making Does Not Exist in the General Data Protection RegulationInternational Data Privacy Law, 7
J Vouillon, V Balat (2014)
From bytecode to javascript: the js\_of\_ocaml compilerSoftw: Practice Exp, 44
SB Lawsky (2020)
Form as formalizationOhio State Technol Law J, 16
A. Ganesan, T. Chithralekha (2016)
A Survey on Survey of Migration of Legacy SystemsProceedings of the International Conference on Informatics and Analytics
B. Casey, Ashkon Farhangi, Roland Vogl (2018)
Rethinking Explainable Machines: The GDPR's 'Right to Explanation' Debate and the Rise of Algorithmic Audits in EnterpriseBerkeley Technology Law Journal, 34
M. Sergot, F. Sadri, R. Kowalski, F. Kriwaczek, P. Hammond, H. Cory (1986)
The British Nationality Act as a logic programCommun. ACM, 29
W. Howard (1969)
The formulae-as-types notion of construction
(1990)
The use of auditing expert systems in public accounting
R. Reiter (1987)
A Logic for Default ReasoningArtif. Intell., 13
(2008)
Building on shifting sands: The structure of repetitive it project escalation, crisis, and de-escalation
A. Church (1932)
A Set of Postulates for the Foundation of LogicAnnals of Mathematics, 33
(2020)
Form as formalization. Ohio State Technology Law Journal
(2012)
Frama-c
Jason Morris (2020)
Spreadsheets for Legal Reasoning: The Continued Promise of Declarative Logic Programming in Law
D. Knuth (1984)
Literate Programming, 27
Sarah Lawsky (2017)
Formalizing the CodeTax Law: Practitioner Series eJournal
A. Colmerauer, P. Roussel (1993)
The birth of Prolog
P. Caspi, D. Pilaud, N. Halbwachs, J. Plaice (1987)
LUSTRE: A declarative language for programming synchronous systems*
J. Ruhl, D. Katz (2015)
Measuring, Monitoring and Managing Legal ComplexityIowa Law Review, 101
P. Leith (2010)
The rise and fall of the legal expert system†International Review of Law, Computers & Technology, 30
Denis Merigoux, Raphaël Monat, Christophe Gaie (2020)
Étude formelle de l'implémentation du code des impôts
Alyssa Carlson (2017)
The Need for Transparency in the Age of Predictive Sentencing AlgorithmsIowa Law Review, 103
Agile Manifesto (2001)
Manifesto for Agile Software Development
LF Cohn, RA Harris, W Bowlby (1988)
Knowledge acquisition for domain expertsJ Comput Civ Eng, 2
P. Caspi, D. Pilaud, N. Halbwachs, J. Plaice (1987)
LUSTRE: a declarative language for real-time programming
(2020)
Lawsky. Form as formalization
Guizhen Yang, M. Kifer, Chang Zhao (2003)
Flora-2: A Rule-Based Knowledge Representation and Inference Infrastructure for the Semantic Web
C. Gaie (2020)
From secured legacy systems to interoperable services (the careful evolution of the French tax administration to provide new possibilities while ensuring the primary tax recovering objective)International Journal of Computational Systems Engineering
Sarah Lawsky (2017)
A Logic for StatutesSocial Science Research Network, 21
Around the world, private and public organizations use software called legal expert systems to compute taxes. This software must comply with the laws they are designed to implement. As such, a bug or an error in a program that leads to tax miscalculations can have heavy legal and democratic consequences. However, increasing evidence suggests that some legal expert systems may not comply with the law. Moreover, traditional software development processes mean that legal expert systems are difficult to adapt to the continuous flow of new legislation. To prevent further software decay and to reconcile these systems with the growing demand for algorithmic transparency, we argue that there is a need for a new development process for legal expert systems. This new system must be built to comply with the law, in particular the GDPR. It must also respect democratic transparency. For these reasons, we present a solution built by lawyers and computer scientists: Catala, a new programming language coupled with a pair programming development process.
Artificial Intelligence and Law – Springer Journals
Published: Aug 25, 2022
Keywords: Legal expert systems; Formal methods; Literate programming; Algorithmic transparency; Tax law; Social benefits
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.