On the scope of static checking in definitional languages.

Boleslaw K. Szymanski Noah S. Prywes Evan D. Lock Amir Pnueli

Published in: ACM Annual Conference (1984)

Keyphrases

expressive power
language independent
type checking
database
databases
machine learning
question answering
grammatical inference
multi lingual
linguistic resources
information retrieval
artificial intelligence
case study
relational databases
cross lingual