Towards declarative smart contracts

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionpeer-review


Blockchain technologies promise improvements to legal documents, yet their use requires programmers and risks hacking, so widespread adoption depends on removing programmers and improving verification. We tackle these problems via a sophisticated user interface that auto-generates declarative smart contract code in the form of answer set programs. We demonstrate improved usability and testing effectiveness by implementing a legal document as a smart contract on our purpose built simulator and find that our solution supports adoption because it starts with a legal document, allows human-in-the=loop interaction, and is tolerant of varying levels of automation.
Original languageEnglish
Title of host publicationThe 4th Symposium on Distributed Ledger Technology
Place of PublicationBrisbane
PublisherGriffith University
Number of pages4
Publication statusPublished - 2019
EventSymposium on Distributed Ledger Technology (4th : 2019) - Griffith University, Brisbane, Australia
Duration: 10 Dec 201910 Dec 2019


ConferenceSymposium on Distributed Ledger Technology (4th : 2019)
Abbreviated titleSDLT


Dive into the research topics of 'Towards declarative smart contracts'. Together they form a unique fingerprint.

Cite this