Fast algorithms for Dyck-CFL-reachability with applications to alias analysis.
Qirun ZhangMichael R. LyuHao YuanZhendong SuPublished in: PLDI (2013)
Keyphrases
- recently developed
- times faster
- orders of magnitude
- computational cost
- state space
- statistical analysis
- optimization problems
- search engine
- learning algorithm
- neural network
- data structure
- knowledge discovery
- real time
- worst case
- image processing
- data mining techniques
- computationally expensive
- information retrieval
- combinatorial optimization