Toggle Main Menu Toggle Search

Open Access padlockePrints

The Newcastle University research output collection, currently available on ePrints, will shortly be moving to a new open repository platform, Figshare. To prepare for the data migration we have paused adding new content to ePrints, and will resume once the new repository is launched. During this time you will continue to have access to ePrints (but no new content will appear). We will share updates here when available.

Developing a Compiler for EROP--A Language for the Specification of Smart Contracts, An Experience Report

Lookup NU author(s): Dr Ioannis SfyrakisORCiD, Dr Ellis SolaimanORCiD

Downloads

Licence

This work is licensed under a Creative Commons Attribution 4.0 International License (CC BY 4.0).

Abstract

A smart contract is a translation of a standard paper-based contract that can be enforced and executed by a contract management system. At a high level of abstraction, a contract is only a document that describes how the signing parties are to behave in different scenarios; nevertheless, the translation of a typical paper-based contract to its electronic counterpart has proved to be both time-consuming and difficult. The requirement for a language capable of capturing the core of a contract in simple phrases and definitions has been a focus of study for many years. EROP (Events, Rights, Obligations, Prohibitions) is a contract specification language that breaks a contract down into sets of events, rights, obligations, and prohibitions.

Publication metadata

Author(s): Delchev A, Sfyrakis I, Solaiman E

Publication type: Report

Publication status: Published

Series Title:

Year: 2023

Print publication date: 02/03/2023

Online publication date: 02/03/2023

Acceptance date: 02/03/2023

Institution: Newcastle University

Place Published: arXiv

URL: https://arxiv.org/abs/2303.01595

DOI: 10.48550/arXiv.2303.01595

Share