A simple abstraction of arrays and maps by program translation.

David Monniaux Francesco Alberti

Published in: CoRR (2015)

Keyphrases

database
neural network
machine translation
high level
computer vision
database systems
relational databases
information extraction
object oriented
language model
test cases
highly reliable