Growing solver-aided languages with rosette.

Emina Torlak Rastislav Bodík

Published in: Onward! (2013)

Keyphrases

language independent
expressive power
databases
cross lingual
database systems
text summarization
description languages
database
neural network
information retrieval
artificial intelligence
language identification
lower bound
target language
grammatical inference
arabic language