Search Results for author: Simão Melo de Sousa

Found 1 papers, 1 papers with code

Tezla, an Intermediate Representation for Static Analysis of Michelson Smart Contracts

1 code implementation24 May 2020 João Santos Reis, Paul Crocker, Simão Melo de Sousa

This paper introduces Tezla, an intermediate representation of Michelson smart contracts that eases the design of static smart contract analysers.

Programming Languages

Cannot find the paper you are looking for? You can Submit a new open access paper.