Programming Languages and the Law 2022 (ProLaLa 2022)
2022-01-16
-- online --
| title | author | length |
|---|---|---|
| Research keynote -- Programming Languages and Law: A Research Agenda for a New Field | James Grimmelmann | 44m |
Workshop surveys a taxonomy of PL+law research and proposes ten concrete tracks: legal DSLs for contracts and hybrid smart/legal contracts that compile to… | ||
| Legal Calculi | Shrutarshi Basu, Anshuman Mohan, James Grimmelmann, Nate Foster | 23m |
Proposes a concrete middle layer: small, domain-specific legal calculi that compile nontrivially from human-facing DSLs (Orlando for property, Catala for… | ||
| Position Paper: LLD is All You Need | L. Thorne McCarty | 21m |
A declarative language for legal discourse from 1989 called LLD is laid out with concrete encodings: parts implemented in Prolog, a Prolog DCG of ~700 rules… | ||
| Logical English as a Programming Language for the Law | Robert Kowalski, Jacinto Da?vila, Miguel Calejo | 22m |
Logical English is syntactic sugar for logic programs and is implemented on SWISH (SWI‑Prolog) with runnable examples. It embeds meta‑predicates using the… | ||
| Introduction of PROLEG (PROlog-based LEGal reasoning support system) | Ken Satoh, Wachara Fungwacharakorn, Kanae Tsushima | 17m |
PROLEG is a Prolog-based legal reasoning system that encodes the Japanese Presupposed Ultimate Fact theory and runs rule-based judgment and subsumption… | ||
| DPCL: a Language Template for Normative Specifications | Giovanni Sileno, Thomas van Binsbergen, Matteo Pascucci, Tom van Engers | 22m |
DPCL presents a JSON-like DSL template that encodes Hohfeldian positions as reusable frames (power, duty, prohibition) and models events, qualifications and… | ||
| Reflections on the design and application of eFLINT | L. Thomas van Binsbergen | 24m |
eFLINT formalizes norms as executable transition systems, with a Haskell reference implementation plus a TCP/HTTP server and Java client used for dynamic… | ||
| Littleton: An Educational Environment for Property Law | Shrutarshi Basu, Anshuman Mohan, James Grimmelmann, Nate Foster | 10m |
Littleton is an online, web‑deployable environment built on the Orlando legal programming language that actually names and visualizes property interests, adds… | ||
| Modeling Administrative Discretion Using Goal-Directed Answer Set Programming | Joaqui?n Arias, Mar Moreno-Rebato, Jose? Antonio Rodri?guez-Garci?a, Sascha Ossowski | 10m |
Title:[ProLALA'22] Modeling Administrative Discretion Using Goal-Directed Answer Set Programming
Authors:Joaqui?n Arias, Mar Moreno-Rebato, Jose? Antonio… | ||
| Prevalence of Expression Types in Legislative Text | Jason Morris | 08m |
A textual analysis of the Old Age Security Act measures how often specific expression types appear to guide a Rules-as-Code language. The work uses manual… | ||
| Cod(e)ifying The Law | Nel Escher, Jeffrey Bilik, Alexander Miller, Jennifer Jiyoung Huseby, Divya Ramesh, Alice Liu, Sam Mikell, Nina Cahill, Ben Green, Nikola Banovic | 25m |
An experimental study recruits mixed teams to build web-based legal advice tools from bankruptcy statutes, using JavaScript and HTML and starter front-end… | ||
| Industry keynote -- What does a toolchain for legislation eventually become? | Davin Fifield, Surend Dayal, Don Syme | 51m |
A 1989–93 garage startup builds STATUTE (later Ruleburst) and evolves into Oracle Policy Modelling / Oracle Intelligent Advisor; core claim is that domain… | ||
| Ergo - a programming language for Smart Legal Contracts | Niall Roche, Jerome Simeon, Walter Hernandez, Eason Chen, Dan Selman | 22m |
Ergo implements executable contract logic tied to a data model (Concerto) and template engine (Cicero), compiles to JavaScript and JVM bytecode, and emits… | ||
| A General Library of Legal Components | Chris Bailey | 19m |
An exploratory library implements composable, verifiable legal components in Lean 4, encoding tax rules (notably section 1031 and section 121) plus an… | ||
| Overview of the CCLAW L4 project | Avishkar Mahajan, Martin Strecker, Meng Weng Wong | 19m |
L4 is a domain specific language that compiles legislation into a rigorous core, a sugary surface language and multiple back ends. It found a race condition in… | ||
| Turning Catala into a Proof Platform for the Law | Alain Delae?t, Denis Merigoux, Aymeric Fromherz | 22m |
Catala becomes a proof platform that uses proof-by-refinement to simplify programs while preserving semantics, generating no-empty/no-conflict VCs for default… | ||
| nothing matches | ||