Calculating Certified Compilers for Non-deterministic Languages.
Patrick BahrPublished in: MPC (2015)
Keyphrases
- programming language
- database languages
- expressive power
- hardware and software
- computer systems
- language independent
- computer architecture
- databases
- neural network
- transactional memory
- database
- description languages
- relaxation algorithm
- randomized algorithms
- general purpose
- learning algorithm
- syntactic and semantic dependencies
- real time