Event language
UI language
Following the theme “code is law”, L4 is a domain-specific specification language that facilitates semantically rigorous formalization of legal expressions found in legislation and contracts. In my talk, I will demo the working pieces (as of late 2021 / early 2022): a high-level controlled natural language, a transpiler to reasoning back-ends including static analysis / formal verification and an expert system web app, grounded in a real-world case study.
