A Formal Semantics of the GraalVM Intermediate Representation

von Webb, Brae J.
Veröffentlicht in ATVA (19. : 2021 : Online) Automated Technology for Verification and Analysis (2021)