Cargando…

SMT-Friendly Formalization of the Solidity Memory Model

Solidity is the dominant programming language for Ethereum smart contracts. This paper presents a high-level formalization of the Solidity language with a focus on the memory model. The presented formalization covers all features of the language related to managing state and memory. In addition, the...

Descripción completa

Detalles Bibliográficos
Autores principales: Hajdu, Ákos, Jovanović, Dejan
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2020
Materias:
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7702262/
http://dx.doi.org/10.1007/978-3-030-44914-8_9

Ejemplares similares