TY  - JOUR
AU  - Albert Albiol, Elvira María
AU  - Gordillo Alguacil, Pablo
AU  - Hernández-Cerezo, Alejandro
AU  - Rubio, Albert
AU  - Schett, Maria A.
PY  - 2022
DO  - 10.1145/3506800
SN  - 1049-331X
UR  - https://hdl.handle.net/20.500.14352/96462
T2  - ACM Transactions on Software Engineering and Methodology
AB  - Smart contracts are programs deployed on a blockchain. They are executed for a monetary fee paid in gas—a clear optimization target for smart contract compilers. Because smart contracts are a young, fast-moving field without (manually) fine-tuned...
LA  - eng
M2  - 1
PB  - Association for Computing Machinery
TI  - Super-optimization of Smart Contracts
TY  - journal article
VL  - 31
ER  -