Complete Abstractions for Checking Language Inclusion.

Pierre Ganty Francesco Ranzato Pedro Valero

Published in: CoRR (2019)

Keyphrases

natural language
programming language
language learning
information retrieval
linguistic knowledge
representation language
decision trees
high level
english language
specification language
modeling language
type checking
abstract data types
computational linguistics
language processing
real time
trade off
databases