Certificate translation for optimizing compilers.
Gilles BartheBenjamin GrégoireCésar KunzTamara RezkPublished in: ACM Trans. Program. Lang. Syst. (2009)
Keyphrases
- hardware and software
- machine translation
- computer architecture
- programming language
- statistical machine translation
- general purpose
- databases
- data sets
- public key encryption
- parallel corpora
- probabilistic model
- relational databases
- bayesian networks
- search engine
- artificial intelligence
- learning algorithm
- genetic algorithm
- neural network