Work

A Formal Semantics of the GraalVM Intermediate Representation

Year: 2021

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-030-88885-5_8

Authors: Brae J. Webb, Mark Utting, Ian J. Hayes

Institution: The University of Queensland

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W3179712663

FWCI: 0.578

Cites: 11

Cited by: 5

Related to: