30 citations · 42 across the 13 of their papers we have counts for
14 papers
Smart Contract Languages: a comparative analysis
Massimo Bartoletti, Lorenzo Benetollo, Michele Bugliesi +11
Smart contracts have played a pivotal role in the evolution of blockchains and Decentralized Applications (DApps). As DApps continue to gain widespread adoption, multiple smart con…
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…
Modelling the Evolution of Programming Languages
Silvia Crafa
Programming languages are engineered languages that allow to instruct a machine and share algorithmic information; they have a great influence on the society since they underlie al…