Advanced automata-based algorithms for program termination checking.
Yu-Fang ChenMatthias HeizmannOndrej LengálYong LiMing-Hsien TsaiAndrea TurriniLijun ZhangPublished in: PLDI (2018)
Keyphrases
- data structure
- computationally efficient
- significant improvement
- graph theory
- real time
- convergence rate
- memory requirements
- classification algorithm
- orders of magnitude
- computational complexity
- artificial intelligence
- learning algorithm
- online learning
- theoretical analysis
- machine learning algorithms
- data mining algorithms
- computational efficiency
- information retrieval
- neural network
- data sets