MGQL: An Executable, Small-Step Semantics of GQL
Published in OOPSLA, 2026
Aditya Thimmaiah, Tong-Nong Lin, Milos Gligoric, "MGQL: An Executable, Small-Step Semantics of GQL" Proceedings of the ACM on Programming Languages (OOPSLA).
Published in OOPSLA, 2026
Aditya Thimmaiah, Tong-Nong Lin, Milos Gligoric, "MGQL: An Executable, Small-Step Semantics of GQL" Proceedings of the ACM on Programming Languages (OOPSLA).