Binary Reachability Analysis of Higher Order Functional Programs.
Ruslán Ledesma-GarzaAndrey RybalchenkoPublished in: SAS (2012)
Keyphrases
- reachability analysis
- functional programs
- higher order
- term rewriting systems
- markov decision processes
- lazy evaluation
- model checking
- functional language
- logic programs
- incremental algorithms
- timed automata
- pairwise
- stochastic grammar
- functional programming
- state space
- temporal logic
- logic programming
- distributed systems
- databases