Stipula: a domain specific language for legal contracts
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.
Sun 16 JanDisplayed time zone: Eastern Time (US & Canada) change
15:05 - 15:25
|Stipula: a domain specific language for legal contractsRemote|
Silvia Crafa University of Padova, Cosimo Laneve University of Bologna, Giovanni Sartor University of BolognaPre-print File Attached