A Formal Semantics of the GraalVM Intermediate Representation.
Brae J. WebbMark UttingIan J. HayesPublished in: CoRR (2021)
Keyphrases
- formal semantics
- intermediate representation
- intermediate level
- logical language
- logical reasoning
- first order logic
- theorem prover
- modeling language
- object models
- intermediate representations
- tightly coupled
- bayesian networks
- range data
- modelling language
- image interpretation
- machine learning
- d objects
- data model
- case study