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

【Author】 Governatori, Guido; Idelberger, Florian; Milosevic, Zoran; Riveret, Regis; Sartor, Giovanni; Xu, Xiwei

【Source】ARTIFICIAL INTELLIGENCE AND LAW

【影响因子】2.723

【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.

【Keywords】Legal contracts; Smart contracts; Blockchain

【发表时间】2018 DEC

【收录时间】2022-01-02

【文献类型】

【主题类别】

--