Ergo -- a programming language for Smart Legal Contracts

2021/12/13 by Niall Roche, Roche, Niall, Walter Hernández +7 · 1 citation
Economics, Econometrics and Finance · Social Sciences · #Artificial Intelligence in Law #Computers and Society (cs.CY) #European and International Contract Law #FOS: Computer and information sciences #Law, Economics, and Judicial Systems #Programming Languages (cs.PL)

paper · pdf · doi:10.48550/arxiv.2112.07064

openalex publication_date 2021/12/13 · openalex created_date 2022/05/05 · openalex updated_date 2026/07/28

Abstract

We present a smart legal contract platform to support a wide range of smart legal contract use cases. We see this as a step towards improving existing approaches to representing the complexity of legal agreements and executing aspects of these agreements.

Cited by

• Formal Verification of Legal Contracts: A Translation-based Approach (Extended Version)

Related

• Developing a Compiler for EROP -- A Language for the Specification of Smart Contracts, An Experience Report
• Pacta sunt servanda: legal contracts in Stipula
• Languages for Smart and Computable Contracts
• The Representation of Legal Contracts
• Smart Contract Templates: essential requirements and design options