We illustrate Stipula, a novel domain specific language that can assist lawyers in programming legal contracts through specific software patterns. The language is based on a small set of programming abstractions that have a precise correspondence with the distinctive elements of legal contracts. We overview the language by using a simple rental contract, we discuss a number of formal methods developed for Stipula, and we hint at its implementation, that can take advantage of (but is not limited to) a blockchain platform.

Crafa, S., Laneve, C., Sartor, G. (2022). Stipula: a domain specific language for legal contracts.

Stipula: a domain specific language for legal contracts

Crafa, Silvia;Laneve, Cosimo;Sartor, Giovanni
2022

Abstract

We illustrate Stipula, a novel domain specific language that can assist lawyers in programming legal contracts through specific software patterns. The language is based on a small set of programming abstractions that have a precise correspondence with the distinctive elements of legal contracts. We overview the language by using a simple rental contract, we discuss a number of formal methods developed for Stipula, and we hint at its implementation, that can take advantage of (but is not limited to) a blockchain platform.
2022
Programming Languages and the Law
1
4
Crafa, S., Laneve, C., Sartor, G. (2022). Stipula: a domain specific language for legal contracts.
Crafa, Silvia; Laneve, Cosimo; Sartor, Giovanni
File in questo prodotto:
Eventuali allegati, non sono esposti

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11585/907843
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact