Condate: a proto-language at the confluence between checking and compiling.

Eugen-Nicolae Volanschi

Published in: PPDP (2006)

Keyphrases

programming language
language processing
language learning
case study
natural language
data sets
neural network
genetic algorithm
search engine
deductive databases
context dependent
modeling language
specification language
linguistic knowledge