TY  - THES
AU  - Sande Ríos, Javier
A3  - Correas Fernández, Jesús
PY  - 2023
UR  - https://hdl.handle.net/20.500.14352/87702
AB  - On Ethereum, smart contracts must have two key characteristics: efficiency, an essential feature in smart contracts with a direct economic impact on the user, and security. The compiler of Solidity, the most widely used language for programming...
AB  - En Ethereum, los contratos inteligentes deben tener dos características clave: eficiencia, característica esencial con un impacto económico directo en el usuario, y la seguridad. El compilador de Solidity, el lenguaje más utilizado para programar...
LA  - eng
KW  - Ethereum
KW  - Blockchain
KW  - Smart contract
KW  - Solidity
KW  - Optimizing compiler
KW  - Runtime check
KW  - Contratos inteligentes
KW  - Compilador optimizador
KW  - Comprobaciones en tiempo de ejecución
TI  - Optimizing Compilation of Array Accesses in Solidity Smart Contracts
T2  - Compilación Optimizante de Accesos a Arrays en Contratos Inteligentes en Solidity
M3  - bachelor thesis
ER  -