Verified Translation Validation of Static Analyses.

Gilles Barthe Sandrine Blazy Vincent Laporte David Pichardie Alix Trieu

Published in: CSF (2017)

Keyphrases

machine translation
neural network
cross language information retrieval
databases
data mining
learning algorithm
comparative analysis
statistical machine translation
language resources