3 citations · 6 across the 13 of their papers we have counts for
1 paper · 1 filter
Vasileios Koutavas, Yu-Yang Lin, Nikos Tzevelekos
We present a big-step and small-step operational semantics for Yul -- the intermediate language used by the Solidity compiler to produce EVM bytecode -- in a mathematical notation…