| dc.contributor.author | CRAFA, Silvia | |
| dc.contributor.author | LANEVE, Cosimo | |
| dc.contributor.author | SARTOR, Giovanni | |
| dc.contributor.author | VESCHETTI, Adele | |
| dc.date.accessioned | 2024-01-17T11:49:04Z | |
| dc.date.available | 2024-01-17T11:49:04Z | |
| dc.date.issued | 2023 | |
| dc.identifier.citation | Science of computer programming, 2023, Vol. 225, Art. 102911, OnlineFirst | en |
| dc.identifier.issn | 0167-6423 | |
| dc.identifier.issn | 1872-7964 | |
| dc.identifier.uri | https://hdl.handle.net/1814/76328 | |
| dc.description | Published online: 01 December 2022 | en |
| dc.description.abstract | We present Stipula, a domain specific language that may assist legal practitioners in programming legal contracts through specific patterns. The language is based on a small set of programming abstractions that correspond to common patterns in legal contracts. We illustrate the language by means of two paradigmatic legal contracts: a bike rental and a bet contract. Stipula comes with a formal semantics, an observational equivalence and a type inference system, that provide for a clear account of the contracts' behaviour and illustrate how several concepts from concurrency theory can be adapted to automatically verify the properties and the correctness of software-based legal contracts. We also discuss a prototype centralized implementation of Stipula. | en |
| dc.language.iso | en | en |
| dc.publisher | Elsevier | en |
| dc.relation.ispartof | Science of computer programming | en |
| dc.title | Pacta sunt servanda : legal contracts in Stipula | en |
| dc.type | Article | en |
| dc.identifier.doi | 10.1016/j.scico.2022.102911 | |
| dc.identifier.volume | 225 | en |