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.
Stipula: a domain specific language for legal contracts / Crafa, Silvia; Laneve, Cosimo; Sartor, Giovanni. - ELETTRONICO. - (2022), pp. 1-4. (Intervento presentato al convegno 49th ACM SIGPLAN Symposium on Principles of Programming Languages tenutosi a Philadelphia, USA nel 16 January 2022).
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.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.