Pruning, Pushdown Exception-Flow Analysis.
Shuying LiangWeibin SunMatthew MightAndrew W. KeepDavid Van HornPublished in: CoRR (2014)
Keyphrases
- flow analysis
- information flow
- forensic analysis
- search space
- exception handling
- tree pruning
- pruning method
- pruning algorithm
- pruning algorithms
- model checking
- search algorithm
- tree construction
- pruning methods
- databases
- decision support
- multi agent
- pruning strategy
- website
- decision making
- artificial intelligence
- information retrieval