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

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
2022
The Logic of Software. A Tasting Menu of Formal Methods
129
146
Crafa S.; Laneve C.
File in questo prodotto:
File Dimensione Formato  
Festschrift.pdf

embargo fino al 03/07/2024

Tipo: Postprint
Licenza: Licenza per accesso libero gratuito
Dimensione 566.88 kB
Formato Adobe PDF
566.88 kB Adobe PDF   Visualizza/Apri   Contatta l'autore

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/896613
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? ND
social impact