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

@article{Governatori2018OnLC,
  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 Xiwei Xu},
  journal={Artificial Intelligence and Law},
  year={2018},
  volume={26},
  pages={377-409}
}
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… Expand
Symboleo: Towards a Specification Language for Legal Contracts
A Legal Interpretation of Choreography Models
Smart Contract and Blockchain Based Contract Management System
A Unifying Model of Legal Smart Contracts
Smart Contracts: From Formal Specification to Blockchain Code
Legally Enforceable Smart-Contract Languages
Legal smart contracts in Ethereum Block chain: Linking the dots
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 45 REFERENCES
Smart Contract Templates: essential requirements and design options
Smart Contract Templates: foundations, design landscape and research directions
Validation and Verification of Smart Contracts: A Research Agenda
A Formal Analysis of a Business Contract Language
Dealing with contract violations: formalism and domain specific language
Representing business contracts in RuleML
Inter-enterprise contract architecture for open distributed systems: security requirements
...
1
2
3
4
5
...