Complete Abstractions for Checking Language Inclusion.

Pierre Ganty Francesco Ranzato Pedro Valero

Published in: ACM Trans. Comput. Log. (2021)

Keyphrases

language learning
programming language
language processing
databases
high level
representation language
specification language
natural language
modeling language
database
data sets
data mining
reinforcement learning
trade off
type checking
scripting language