Cover Image

An Operational Semantics for Yul

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Koutavas, Vasileios, Lin, Yu-Yang, Tzevelekos, Nikos
Format:	Preprint
Published:	2024
Subjects:	Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Open-World Assertion Checking for Smart Contracts via Game Semantics
by: Koutavas, Vasileios, et al.
Published: (2025)

A Formalization of the Yul Language and Some Verified Yul Code Transformations
by: Coglio, Alessandro, et al.
Published: (2025)

A Neurosymbolic Approach to Loop Invariant Generation via Weakest Precondition Reasoning
by: King, Daragh, et al.
Published: (2025)

A Logic For Fresh Labelled Transition Systems
by: Bandukara, Mohamed H, et al.
Published: (2025)

Bisimilarity in fresh-register automata
by: Murawski, Andrzej S., et al.
Published: (2020)

A Refined Operational Semantics for FreeCHR
by: Rechenberger, Sascha, et al.
Published: (2025)

A Pure Demand Operational Semantics with Applications to Program Analysis
by: Smith, Scott, et al.
Published: (2023)

From Monolithic to Compositional: A Compositional Operational Semantics for Crystality
by: Xu, Ziyun, et al.
Published: (2026)

A Compiler for Operations on Relations with Bag Semantics
by: Dong, James, et al.
Published: (2025)

Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs
by: Xu, Ziyun, et al.
Published: (2025)

Logical Predicates in Higher-Order Mathematical Operational Semantics
by: Goncharov, Sergey, et al.
Published: (2024)

Text2Mem: A Unified Memory Operation Language for Memory Operating System
by: Wang, Yi, et al.
Published: (2025)

Handling Higher-Order Effectful Operations with Judgemental Monadic Laws
by: Yang, Zhixuan, et al.
Published: (2025)

Lost in Interpretation: Navigating Challenges in Validating Persistency Models Amid Vague Specs and Stubborn Machines, All with a Sense of Humour
by: Klimis, Vasileios, et al.
Published: (2024)

Semantically Separating Nominal Wyvern for Usability and Decidability
by: Zhu, Yu Xiang, et al.
Published: (2025)

Towards a Higher-Order Mathematical Operational Semantics
by: Goncharov, Sergey, et al.
Published: (2022)

Semantics of Sets of Programs
by: Kim, Jinwoo, et al.
Published: (2024)

Causality and Semantic Separation
by: Zhang, Anna, et al.
Published: (2026)

Big-Stop Semantics: Small-Step Semantics in a Big-Step Judgment
by: Kahn, David M, et al.
Published: (2025)

Persistent Amortised Analysis, Operationally
by: Lorenzen, Anton
Published: (2026)

Compilation as Multi-Language Semantics
by: Bowman, William J.
Published: (2025)

Joint Distributions in Probabilistic Semantics
by: Kozen, Dexter, et al.
Published: (2023)

Semantic Subtyping for Maps in Erlang
by: Yildirim, Erdem, et al.
Published: (2025)

Verification of the Release-Acquire Semantics
by: Abdulla, Parosh, et al.
Published: (2025)

The Simulation Semantics of Synthesisable Verilog
by: Lööw, Andreas
Published: (2025)

Persistent Iterators with Value Semantics
by: Li, Yihe, et al.
Published: (2026)

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics
by: Kaye, George
Published: (2025)

Evaluating Program Semantics Reasoning with Type Inference in System F
by: He, Yifeng, et al.
Published: (2025)

The Parallel Semantics Program Dependence Graph
by: Homerding, Brian, et al.
Published: (2024)

Semantic-Type-Guided Bug Finding
by: Qian, Kelvin, et al.
Published: (2024)

Membership Testing for Semantic Regular Expressions
by: Huang, Yifei, et al.
Published: (2024)

Coverage Semantics for Dependent Pattern Matching
by: Eremondi, Joseph, et al.
Published: (2025)

A Denotational Semantics for Quantum Loops
by: Assolini, Nicola, et al.
Published: (2025)

Beyond BLEU: A Semantic Evaluation Method for Code Translation
by: Näumann, Julius, et al.
Published: (2026)

Synthesizing Formal Semantics from Executable Interpreters
by: Liu, Jiangyi, et al.
Published: (2024)

Critical Semantic Properties of Music Notation Datasets
by: Lepper, Markus, et al.
Published: (2024)

Compilation Semantics for a Programming Language with Versions
by: Tanabe, Yudai, et al.
Published: (2023)

On the Semantic Expressiveness of Iso- and Equi-Recursive Types
by: Devriese, Dominique, et al.
Published: (2020)

A Complete Theory of Sequential Digital Circuits: Denotational, Operational and Algebraic Semantics
by: Ghica, Dan R., et al.
Published: (2022)

Fast Collection Operations from Indexed Stream Fusion
by: Kovach, Scott, et al.
Published: (2025)