Lazy Code Transformations in a Formally Verified Compiler.
Léo GourdinPublished in: ICOOOLPS@ECOOP (2023)
Keyphrases
- code generation
- java virtual machine
- instruction scheduling
- industry standard
- source code
- programming language
- address space
- general purpose
- software systems
- data mining
- website
- code generator
- information systems
- high level programming languages
- error correction
- averaged one dependence estimators
- distributed memory machines
- static analysis
- real time
- learning algorithm
- databases