Untangling Typechecking of Intersections and Unions

Published in: ITRS (2010)

Keyphrases

regular expressions
tree automata
tree patterns
pattern languages
data sets
neural network
decision making
case study
traffic flow