Date: 2023
Type: Contribution to book
Legal contracts amending with [inline-graphic not available: see fulltext]
Sung-Shik JONGMANS and Antónia LOPES (eds), Coordination models and languages : 25th IFIP WG 6.1 International Conference, Coordination 2023, held as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19–23, 2023, Proceedings, Berlin ; Heidelberg : Springer, 2023, Lecture notes in computer science ; 13908, pp. 253-270
LANEVE, Cosimo, PARENTI, Alessandro, SARTOR, Giovanni, Legal contracts amending with [inline-graphic not available: see fulltext], in Sung-Shik JONGMANS and Antónia LOPES (eds), Coordination models and languages : 25th IFIP WG 6.1 International Conference, Coordination 2023, held as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19–23, 2023, Proceedings, Berlin ; Heidelberg : Springer, 2023, Lecture notes in computer science ; 13908, pp. 253-270
- https://hdl.handle.net/1814/76334
Retrieved from Cadmus, EUI Research Repository
Legal contracts can be amended during their lifetime through the agreement of the parties or in accordance with the doctrines of force majeure and hardship. When legal contracts are defined using a programming language, amendments are made through runtime adjustments to the contract’s behavior and must be expressed by means of appropriate language features. In this paper, we examine the extension of Stipula, a formal language for legal contracts, with higher-order functionality to enable the dynamic updating of contract codes. We discuss the semantics of the language when amendments either extend or override the contract’s functionality. Additionally, we study two techniques for constraining amendments, one using annotations within the contract and another that allows for runtime agreements between parties.
Additional information:
Published: 19 June 2023
Cadmus permanent link: https://hdl.handle.net/1814/76334
Full-text via DOI: 10.1007/978-3-031-35361-1_14
ISBN: 9783031353604
ISSN: 1611-3349; 0302-9743
Publisher: Springer
Files associated with this item
Files | Size | Format | View |
---|---|---|---|
There are no files associated with this item. |