Legal Contracts Amending with  - Coordination Models and Languages Access content directly
Conference Papers Year : 2023

Legal Contracts Amending with 

Abstract

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.
Embargoed file
Embargoed file
1 4 7
Year Month Jours
Avant la publication
Thursday, January 1, 2026
Embargoed file
Thursday, January 1, 2026
Please log in to request access to the document

Dates and versions

hal-04673818 , version 1 (20-08-2024)

Licence

Identifiers

Cite

Laneve Cosimo, Alessandro Parenti, Giovanni Sartor. Legal Contracts Amending with . 25th International Conference on Coordination Languages and Models (COORDINATION), Jun 2023, Lisbon, Portugal. pp.253-270, ⟨10.1007/978-3-031-35361-1_14⟩. ⟨hal-04673818⟩
0 View
0 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More