Experience report: implementing a real-world, medium-sized program derived from a legislative specification
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.
Building on the work around the Catala domain-specific language, we have chosen to engage in an exercice 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 another article; 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.
|Presentation slides (presentation.pdf)||2.43MiB|
Sun 15 JanDisplayed time zone: Eastern Time (US & Canada) change
14:00 - 15:30
|Experience report: implementing a real-world, medium-sized program derived from a legislative specification|
Denis Merigoux INRIAPre-print File Attached
|Legal Contracts Amending in StipulaVirtual|
|Towards an Automatic Consolidation of French LawVirtual|
Georges-André Silber Mines Paris, PSL UniversityFile Attached
|DCR Graphs as Co-created Executable Models of the Law|
Thomas T. Hildebrandt University of CopenhagenFile Attached
|Visual Propositional Logic With yscriptVirtual|
William O'Hanley Stanford CodeXLink to publication