Zobrazeno 1 - 10
of 445
pro vyhledávání: '"Crafà, P"'
Autor:
Bartoletti, Massimo, Benetollo, Lorenzo, Bugliesi, Michele, Crafa, Silvia, Sasso, Giacomo Dal, Pettinau, Roberto, Pinna, Andrea, Piras, Mattia, Rossi, Sabina, Salis, Stefano, Spanò, Alvise, Tkachenko, Viacheslav, Tonelli, Roberto, Zunino, Roberto
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 contract languages have been and are being made available to developers,
Externí odkaz:
http://arxiv.org/abs/2404.04129
Autor:
Crafa, Silvia
Publikováno v:
EPTCS 368, 2022, pp. 23-42
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 compliance with legal norms. On the other hand, the so-called code-driven norma
Externí odkaz:
http://arxiv.org/abs/2209.02353
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 content. We then undertake a foundational study of legal contracts and we d
Externí odkaz:
http://arxiv.org/abs/2110.11069
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Crafa, Silvia, Di Pirro, Matteo
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 enforcing the guarantees this type intended to convey, hence the type
Externí odkaz:
http://arxiv.org/abs/1907.02952
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.