Fair Operational Semantics

Open Webpage

Dongjae Lee, Minki Cho, Jinwoo Kim, Soonwon Moon, Youngju Song, Chung-Kil Hur

Published: 06 Jun 2023, Last Modified: 19 Jan 2026Proceedings of the ACM on Programming LanguagesEveryoneRevisionsCC BY-SA 4.0
External IDs:doi:10.1145/3591253