Date: 2018
Type: Article
On legal contracts, imperative and declarative smart contracts, and blockchain systems
Artificial intelligence and law, 2018, Vol. 26, No. 4, pp. 377–409
GOVERNATORI, Guido, IDELBERGER, Florian, MILOSEVIC, Zoran, RIVERET, Régis, SARTOR, Giovanni, XU, Xiwei, On legal contracts, imperative and declarative smart contracts, and blockchain systems, Artificial intelligence and law, 2018, Vol. 26, No. 4, pp. 377–409
- https://hdl.handle.net/1814/59948
Retrieved from Cadmus, EUI Research Repository
This paper provides an analysis of how concepts pertinent to legal contracts can influence certain aspects of their digital implementation through smart contracts, as inspired by recent developments in distributed ledger technology. We discuss how properties of imperative and declarative languages including the underlying architectures to support contract management and lifecycle apply to various aspects of legal contracts. We then address these properties in the context of several blockchain architectures. While imperative languages are commonly used to implement smart contracts, we find that declarative languages provide more natural ways to deal with certain aspects of legal contracts and their automated management.
Additional information:
First online: 05 March 2018
Cadmus permanent link: https://hdl.handle.net/1814/59948
Full-text via DOI: 10.1007/s10506-018-9223-3
ISSN: 0924-8463; 1572-8382
Publisher: Springer (part of Springer Nature)
Keyword(s): Legal contracts Smart contracts Blockchain Logic Language Web
Files associated with this item
Files | Size | Format | View |
---|---|---|---|
There are no files associated with this item. |