up: Publications

Overview of the CCLAW L4 project

Avishkar Mahajan, Martin Strecker, Meng Weng Wong


L4 is a domain-specific specification language that facilitates semantically rigorous formalization of legal expressions found in legislation and contracts. In our talk we will demo the working pieces (as of late 2021 / early 2022): a low-level core and a high-level language, a transpiler to reasoning back-ends including static analysis / formal verification and an expert system web app, and a real-world case study.
 Online Copy

BibTeX Entry

  author =       {Avishkar Mahajan and Martin Strecker and Meng Weng Wong},
  title =        {Overview of the {CCLAW L4} project},
  booktitle = {Programming Languages and the Law},
  year =      2022,
  url =      {https://martin-strecker.org/Publications/prolala2022.html}

Last modified: Sat Feb 26 21:34:31 CET 2022