Specializing a meta-interpreter: JIT compilation of dynsem specifications on the graal VM.
Vlad A. VerguEelco VisserPublished in: ManLang (2018)
Keyphrases
- java virtual machine
- virtual machine
- meta level
- specification language
- meta reasoning
- code generation
- programming language
- delay insensitive
- formal specification
- artificial intelligence
- production system
- operating system
- finite state machines
- data center
- scheduling problem
- java programs
- high level
- data sets
- control flow
- knowledge compilation
- memory management
- reactive systems
- social networks
- high level abstraction