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.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.
