Modular, Fully-abstract Compilation by Approximate Back-translation.

Dominique Devriese Marco Patrignani Frank Piessens Steven Keuchel

Published in: CoRR (2017)

Keyphrases

machine translation
higher level
multiscale
learning algorithm
digital libraries
modular structure
modular neural networks
databases
artificial intelligence
relational databases
low level
cross language
exact solution
language resources
model counting