An Operational Semantics for Yul.

Vasileios Koutavas, Yu-Yang Lin, Nikos Tzevelekos

Browse the full SEFM paper archive.