A Formal Semantics of the GraalVM Intermediate Representation.
Brae J. WebbMark UttingIan J. HayesPublished in: ATVA (2021)
Keyphrases
- formal semantics
- intermediate representation
- intermediate level
- logical language
- first order logic
- modeling language
- tightly coupled
- logical reasoning
- modelling language
- theorem prover
- object models
- owl dl ontology
- intermediate representations
- distributed systems
- general purpose
- probabilistic model
- training data
- databases