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

Adrian Delchev, Ioannis Sfyrakis, Ellis Solaiman

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 i…