Verifying Higher-Order Functions with Tree Automata.

Thomas Genet Timothée Haudebourg Thomas P. Jensen

Published in: FoSSaCS (2018)

Keyphrases

tree automata
higher order
finite automata
regular expressions
finite state
pairwise
syntactic pattern recognition
tree languages
model checking
search space
finite automaton
databases
knowledge base
data management