On legal contracts, imperative and declarative smart contracts, and blockchain systems

Artificial Intelligence and Law 26 (4):377-409 (2018)

Abstract

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.

Download options

PhilArchive



    Upload a copy of this work     Papers currently archived: 72,805

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2018-03-05

Downloads
38 (#303,338)

6 months
1 (#386,031)

Historical graph of downloads
How can I increase my downloads?

Similar books and articles

Reviving Ulysses Contracts.Ryan Spellecy - 2003 - Kennedy Institute of Ethics Journal 13 (4):373-392.
Exploitative Contracts.Rick Bigwood - 2003 - Oxford University Press.
Pecularities of Legal Regulation of Marriage Contracts.Inga Kudinavičiūtė-Michailovienė - 2011 - Jurisprudencija: Mokslo darbu žurnalas 18 (1):143-159.
Rethinking Freedom of Contract.Jessica Flanigan - 2017 - Philosophical Studies 174 (2):443-463.
Ulysses Contracts in Medicine.Tom Walker - 2012 - Law and Philosophy 31 (1):77-98.