Relational compilation for performance-critical applications: extensible proof-producing translation of functional models into low-level code.
Clément Pit-ClaudelJade PhilipoomDustin JamnerAndres ErbsenAdam ChlipalaPublished in: PLDI (2022)
Keyphrases
- low level
- data model
- high level
- code generation
- higher level
- source code
- relational databases
- relational data
- low level features
- visual features
- visual information
- theorem proving
- high level abstractions
- mid level
- lower level
- data types
- object oriented
- database systems
- relational learning
- multi relational
- target language
- image classification
- instruction scheduling