Show simple item record

dc.contributor.authorGOVERNATORI, Guido
dc.contributor.authorIDELBERGER, Florian
dc.contributor.authorMILOSEVIC, Zoran
dc.contributor.authorRIVERET, Régis
dc.contributor.authorSARTOR, Giovanni
dc.contributor.authorXU, Xiwei
dc.date.accessioned2018-12-06T13:55:25Z
dc.date.available2018-12-06T13:55:25Z
dc.date.issued2018
dc.identifier.citationArtificial intelligence and law, 2018, Vol. 26, No. 4, pp. 377–409
dc.identifier.issn0924-8463
dc.identifier.issn1572-8382en
dc.identifier.urihttps://hdl.handle.net/1814/59948
dc.descriptionFirst online: 05 March 2018en
dc.description.abstractThis 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.
dc.language.isoen
dc.publisherSpringer (part of Springer Nature)en
dc.relation.ispartofArtificial intelligence and law
dc.subjectLegal contracts
dc.subjectSmart contracts
dc.subjectBlockchain
dc.subjectLogicen
dc.subjectLanguageen
dc.subjectWeben
dc.titleOn legal contracts, imperative and declarative smart contracts, and blockchain systems
dc.typeArticleen
dc.identifier.doi10.1007/s10506-018-9223-3
dc.identifier.volume26
dc.identifier.startpage377
dc.identifier.endpage409
eui.subscribe.skiptrue
dc.identifier.issue4


Files associated with this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record