On Typechecking B.

Antti-Juhani Kaijanaho

Published in: SPLST (2003)

Keyphrases

regular expressions
tree automata
finite automata
database
machine learning
expert systems
contextual information