An Operational Semantics for Yul
You are here
| Title | An Operational Semantics for Yul |
| Publication Type | Conference Paper |
| Year of Publication | 2024 |
| Authors | Koutavas V, Lin Y-Y, Tzevelekos N |
| Conference Name | Software Engineering and Formal Methods: 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings |
| Publisher | Springer-Verlag |
| Conference Location | Berlin, Heidelberg |
| ISBN Number | 978-3-031-77381-5 |
| Keywords | Ethereum, Formal methods, Operational semantics, Programming languages, Yul |
| URL | https://doi.org/10.1007/978-3-031-77382-2_19 |
| DOI | 10.1007/978-3-031-77382-2_19 |
