nADICO-Solidity DSL Implementation for partially Automated Generation of Smart Contracts
Publication:
C. K. Frantz and M. Nowostawski, "From Institutions to Code: Towards Automated Generation of Smart Contracts", 2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), Augsburg, 2016, pp. 210-215. https://doi.org/10.1109/FAS-W.2016.53
This repository contains an implementation of the DSL described in the paper above. It is written in Scala and includes a Scala worksheet (src/SmartContractExamples.sc) that highlights the use based on the examples in the paper.