TY  - CPAPER
AU  - Albert Albiol, Elvira María
AU  - Gordillo Alguacil, Pablo
AU  - Rubio, Albert
AU  - Schett, Maria A.
PY  - 2020
DO  - 10.1007/978-3-030-53288-8_10
SN  - 9783030532871
SN  - 9783030532888
SN  - 0302-9743
SN  - 1611-3349
UR  - https://hdl.handle.net/20.500.14352/96459
AB  - With the advent of smart contracts that execute on the blockchain ecosystem, a new mode of reasoning is required for developers that must pay meticulous attention to the gas spent by their smart contracts, as well as for optimization tools that must...
LA  - eng
M2  - 177
TI  - Synthesis of Super-Optimized Smart Contracts Using Max-SMT
TY  - conference paper
ER  -