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

  title={On legal contracts, imperative and declarative smart contracts, and blockchain systems},
  author={G. Governatori and Florian Idelberger and Z. Milosevic and R{\'e}gis Riveret and G. Sartor and X. Xu},
  journal={Artificial Intelligence and Law},
  • G. Governatori, Florian Idelberger, +3 authors X. Xu
  • Published 2018
  • Computer Science
  • Artificial Intelligence and Law
  • 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… CONTINUE READING

    Figures, Tables, and Topics from this paper.

    Symboleo: Towards a Specification Language for Legal Contracts
    • 2
    • PDF
    A Survey of Smart Contract Formal Specification and Verification
    • 1
    • Highly Influenced
    • PDF
    A Legal Interpretation of Choreography Models
    A Unifying Model of Legal Smart Contracts
    • 5
    Smart Contracts: A Killer Application for Deductive Source Code Verification
    • 8
    • PDF


    Publications referenced by this paper.
    Smart Contract Templates: essential requirements and design options
    • 45
    • PDF
    Smart Contract Templates: foundations, design landscape and research directions
    • 138
    • PDF
    Validation and Verification of Smart Contracts: A Research Agenda
    • 77
    • PDF
    A Formal Analysis of a Business Contract Language
    • 96
    • PDF
    Representing business contracts in RuleML
    • 256
    • PDF
    Inter-enterprise contract architecture for open distributed systems: security requirements
    • 28
    • PDF