Super-optimization of Smart Contracts[J] ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY 2022(31) Albert, Elvira Gordillo, Pablo Hernandez-Cerezo, Alejandro Rubio, Albert Schett, Maria A.
