Towards Static Analysis of Functional Programs Using Tree Automata Completion.

Published in: WRLA (2014)

Keyphrases

static analysis
tree automata
functional programs
regular expressions
dynamic analysis
pattern matching
finite automata
logic programs
query language
xml schema
functional language
source code
finite state
database
context free grammars
relational databases
databases