Certificate Translation for Optimizing Compilers.

Gilles Barthe Benjamin Grégoire César Kunz Tamara Rezk

Published in: SAS (2006)

Keyphrases

hardware and software
programming language
machine translation
information systems
general purpose
query translation
computer architecture
artificial intelligence
data model
statistical machine translation
data sets
databases
similarity measure
information extraction