Experience report: implementing a real-world, medium-sized program derived from a legislative specification - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2023

Experience report: implementing a real-world, medium-sized program derived from a legislative specification

Denis Merigoux

Résumé

Implementing computer programs from legislative specifications has been a longstanding academic endeavor. However, few of these experiments has so far sought to replicate a computer program that is already in production in public administration; most of them have created new programs or formalizations that cover sections of the law not previously automatically enforced by public administration. A somewhat dated but accurate state of the art of the use of legal expert systems in government agencies was compiled by Oskamp (2002). Building on the work around the Catala domain-specific language, we have chosen to engage in an exercise of replication of the existing IT system that computes the French housing benefits (and various other benefits) within the CNAF administrative agency, CRISTAL. More general context and main non-technical findings of this replication exercise can be found in a companion paper; this presentation will focus on the challenges and lessons learned about the programming act itself, in an effort of consolidation of knowledge for this line of research.
Fichier principal
Vignette du fichier
article.pdf (314.63 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03933574 , version 1 (10-01-2023)

Licence

Paternité

Identifiants

  • HAL Id : hal-03933574 , version 1

Citer

Denis Merigoux. Experience report: implementing a real-world, medium-sized program derived from a legislative specification. Programming Languages and the Law 2023 (affiliated with POPL), Jan 2023, Boston (MA), United States. ⟨hal-03933574⟩

Collections

INRIA INRIA2
195 Consultations
195 Téléchargements

Partager

Gmail Facebook X LinkedIn More