2 citations · 3 across the 6 of their papers we have counts for
4 papers · 1 filter
From Legal Contracts to Legal Calculi: the code-driven normativity
Silvia Crafa
Using dedicated software to represent or enact legislation or regulation has the advantage of solving the inherent ambiguity of legal texts and enabling the automation of complianc…
Pacta sunt servanda: legal contracts in Stipula
Silvia Crafa, Cosimo Laneve, Giovanni Sartor
There is a growing interest in running legal contracts on digital systems, at the same time, it is important to understand to what extent software contracts may capture legal conte…
Solidity 0.5: when typed does not mean type safe
Silvia Crafa, Matteo Di Pirro
The recent release of Solidity 0.5 introduced a new type to prevent Ether transfers to smart contracts that are not supposed to receive money. Unfortunately, the compiler fails in…
On the chemistry of typestate-oriented actors
Silvia Crafa, Luca Padovani
Typestate-oriented programming is an extension of the OO paradigm in which objects are modeled not just in terms of interfaces but also in terms of their usage protocols, describin…