eFLINT: A Domain-Specific Language for Executable Norm Specifications
summary
eFLINT is a DSL that claims to make legal norms executable and assessable: the paper presents a working Haskell implementation with a REPL, a TCP server and a simple web UI, a GitLab release and examples used by MSc/PhD students. Specifications compile to transition systems, support offline scripts and online traces, specialize high-level norms to app enums (shown on a GDPR case study), and integrate at runtime as normative actors that emit duties, powers and violation notifications.
AI-written summary · about
chapters (9)
- 0:00eFLINT introduction
- 1:29Design goals and GDPR
- 2:54Formalizing norms in eFLINT
- 4:21Legal parenthood example
- 6:18Writing compliance scenarios
- 7:58eFLINT language qualities
- 9:28GDPR specialization
- 10:41eFLINT implementation
- 12:39Conclusion and future
related talks
31mCooperative Specification via Composition Control
47mThe linguist programmer
18mTowards a Language-parametric DSL for Refactoring (Short Paper)
31mHigh Assurance Software for Financial Regulation and Business Platforms
21mLazy Validation and Self-Healing for Agentic Programs
27mTeaching Software Specification (Experience Report)
29mApplying Self-Extension Mechanism to DSLs for Establishing Model Libraries
40mFormal semantics for multi-language programs