Sign in
Towards Static Analysis of Functional Programs Using Tree Automata Completion.
Thomas Genet
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