Login / Signup
Towards Static Analysis of Functional Programs using Tree Automata Completion.
Thomas Genet
Published in:
CoRR (2014)
Keyphrases
</>
static analysis
tree automata
functional programs
regular expressions
dynamic analysis
finite automata
pattern matching
functional language
logic programs
query language
xml schema
finite state
source code
functional programming
query evaluation
matching algorithm