English

Ergo -- a programming language for Smart Legal Contracts

Computers and Society 2021-12-24 v2 Programming Languages
Authors: Niall Roche , Walter Hernandez , Eason Chen , Jérôme Siméon , Dan Selman
View on arXiv ↗ PDF ↗

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.

Cite

@article{arxiv.2112.07064,
  title  = {Ergo -- a programming language for Smart Legal Contracts},
  author = {Niall Roche and Walter Hernandez and Eason Chen and Jérôme Siméon and Dan Selman},
  journal= {arXiv preprint arXiv:2112.07064},
  year   = {2021}
}

Related papers

View all related →
Programming Languages · Computer Science
Developing a Compiler for EROP -- A Language for the Specification of Smart Contracts, An Experience Report
Adrian Delchev, Ioannis Sfyrakis, Ellis Solaiman
2023-03-06
Software Engineering · Computer Science
A Web-Based Environment for the Specification and Generation of Smart Legal Contracts
Regan Meloche, Durga Sivakumar, Amal A. Anda, Sofana Alfuhaid +3
2025-09-16
Computation and Language · Computer Science
Languages for Smart and Computable Contracts
Christopher D. Clack
2021-04-09
Computers and Society · Computer Science
Smart Contract Templates: essential requirements and design options
Christopher D. Clack, Vikram A. Bakshi, Lee Braine
2016-12-16
Logic in Computer Science · Computer Science
Logical foundations of Smart Contracts
Kalonji Kalala
2025-02-14
Artificial Intelligence · Computer Science
The Representation of Legal Contracts
Aspassia Daskalopulu, Marek Sergot
2007-05-23
Computers and Society · Computer Science
Blockchain-based Smart Contracts - Applications and Challenges
Yining Hu, Madhusanka Liyanage, Ahsan Mansoor, Kanchana Thilakarathna +2
2019-06-11
Computers and Society · Computer Science
Conversion of Legal Agreements into Smart Legal Contracts using NLP
Eason Chen, Niall Roche, Yuen-Hsien Tseng, Walter Hernandez +2
2023-04-06
Cryptography and Security · Computer Science
An empirical analysis of smart contracts: platforms, applications, and design patterns
Massimo Bartoletti, Livio Pompianu
2018-06-21
Software Engineering · Computer Science
A Survey of Smart Contract Formal Specification and Verification
Palina Tolmach, Yi Li, Shang-Wei Lin, Yang Liu +1
2021-04-20
Computers and Society · Computer Science
Smart Contract Templates: foundations, design landscape and research directions
Christopher D. Clack, Vikram A. Bakshi, Lee Braine
2017-03-16
Software Engineering · Computer Science
Validation Framework for E-Contract and Smart Contract
Sangharatna Godboley, P. Radha Krishna, Sunkara Sri Harika, Pooja Varnam
2025-04-29
Software Engineering · Computer Science
Specification is Law: Safe Creation and Upgrade of Ethereum Smart Contracts
Pedro Antonino, Juliandson Ferreira, Augusto Sampaio, A. W. Roscoe
2022-05-17
Computers and Society · Computer Science
On the Use of Smart Hybrid Contracts to Provide Flexibility in Algorithmic Governance
Carlos Molina-Jimenez, Sandra Milena Felizia
2023-12-14
Software Engineering · Computer Science
SmartML: Towards a Modeling Language for Smart Contracts
Adele Veschetti, Richard Bubel, Reiner Hähnle
2024-07-01
Software Engineering · Computer Science
Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models
Chanuka Wijayakoon, Hai Dong, H. M. N. Dilum Bandara, Zahir Tari +1
2025-06-03
Cryptography and Security · Computer Science
Towards Safer Smart Contracts: A Survey of Languages and Verification Methods
Dominik Harz, William Knottenbelt
2018-11-02
Programming Languages · Computer Science
Mandala: A Smart Contract Programming Language
Markus Knecht
2019-11-27
Software Engineering · Computer Science
An Overview on Smart Contracts: Challenges, Advances and Platforms
Zibin Zheng, Shaoan Xie, Hong-Ning Dai, Weili Chen +3
2019-12-24
Computers and Society · Computer Science
On and Off-Blockchain Enforcement Of Smart Contracts
Carlos Molina-Jimenez, Ellis Solaiman, Ioannis Sfyrakis, Irene Ng +1
2018-05-03
Software Engineering · Computer Science
Smart Contracts Formal Verification: A Systematic Literature Review
Rene Davila, Everardo Barcenas, Rocio Aldeco-Perez
2025-10-22
Cryptography and Security · Computer Science
A Systematic Literature Review on Smart Contracts Security
Harry Virani, Manthan Kyada
2022-12-19
Programming Languages · Computer Science
Executable Operational Semantics of Solidity
Jiao Jiao, Shuanglong Kan, Shang-Wei Lin, David Sanan +2
2018-04-05
Programming Languages · Computer Science
From Legal Contracts to Legal Calculi: the code-driven normativity
Silvia Crafa
2022-09-07
Logic in Computer Science · Computer Science
Smart Contract Interactions in Coq
Jakob Botsch Nielsen, Bas Spitters
2020-02-10
R2 v1 2026-06-24T08:15:58.886Z