TY  - THES
AU  - Rodríguez Núñez, Clara
A3  - Albert Albiol, Elvira
A3  - Rubio Gimeno, Albert
PY  - 2020
UR  - https://hdl.handle.net/20.500.14352/9088
AB  - Callbacks are an effective programming discipline for implementing event-driven programming, especially in environments like Ethereum which forbid shared global state and concurrency. Callbacks allow a callee to delegate the execution back to the...
AB  - Los callbacks son esenciales en muchos entornos de programación, especialmente en los que como Ethereum no permiten estados globales compartidos ni concurrencia. A través de ellos un programa llamado puede llevar de nuevo la ejecución al llamante. A...
LA  - eng
KW  - Modularity
KW  - Static analysis
KW  - Callbacks
KW  - Commutativity
KW  - SMT solvers
KW  - DAO attack
KW  - Ethereum
KW  - Smart contracts
KW  - Modularidad
KW  - Análisis estático
KW  - Conmutatividad
KW  - Resolutores SMT
KW  - Ataque DAO
KW  - Smart contracts.
TI  - Analysis of “Effectively Callback Freeness” for Smart Contracts
M3  - master thesis
ER  -