Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Virgil Șerbănuță"'
Autor:
Brandon Moore, Virgil Șerbănuță, Traian Florin Șerbănuță, Yi Zhang, Daniele Filaretti, Grigore Rosu, Dwight Guth, Ralph E. Johnson, Theodoros Kasampalis
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030309411
FM
FM
This paper proposes IELE, an LLVM-style language, together with a tool ecosystem for implementing and formally reasoning about smart contracts on the blockchain. IELE was designed by specifying its semantics formally in the K framework. Its implement
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b6ba2d82ecfc6bf41c3e03cb7dbf9df3
https://doi.org/10.1007/978-3-030-30942-8_35
https://doi.org/10.1007/978-3-030-30942-8_35