We discuss the design principles of Stipula, a domain specific language that can assists lawyers in programming legal contracts through specific software patterns. The language is based on a small set of primitives, that precisely correspond to the distinctive elements of legal contracts, and that are amenable to be prototyped on both centralized or distributed systems. We also outline two formal techniques to reason about Stipula contracts: a type inference system that allows to derive types for fields, assets and contract’s functions, and an analyzer of liquidity that pinpoints those contracts that do not freeze any asset forever
Crafa S., Laneve C. (2022). Programming Legal Contracts: – A Beginners Guide to Stipula –. Cham : Springer [10.1007/978-3-031-08166-8_7].
Programming Legal Contracts: – A Beginners Guide to Stipula –
Crafa S.;Laneve C.
2022
Abstract
We discuss the design principles of Stipula, a domain specific language that can assists lawyers in programming legal contracts through specific software patterns. The language is based on a small set of primitives, that precisely correspond to the distinctive elements of legal contracts, and that are amenable to be prototyped on both centralized or distributed systems. We also outline two formal techniques to reason about Stipula contracts: a type inference system that allows to derive types for fields, assets and contract’s functions, and an analyzer of liquidity that pinpoints those contracts that do not freeze any asset forever| File | Dimensione | Formato | |
|---|---|---|---|
|
Festschrift.pdf
Open Access dal 04/07/2024
Tipo:
Postprint
Licenza:
Licenza per accesso libero gratuito
Dimensione
566.88 kB
Formato
Adobe PDF
|
566.88 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
