基于k阶秩函数的线性赋值循环程序的终止性分析 (Termination Analysis of Linear Assignment Loop Program Based on k-ranking Functions).
Yi LiTianxun CaiWenyuan WuPublished in: 计算机科学 (2018)
Keyphrases
- ranking functions
- termination analysis
- learning to rank
- active rules
- active databases
- web search
- abstract interpretation
- document retrieval
- ranking algorithm
- web search engines
- supervised learning
- static analysis
- integrity constraints
- deductive databases
- information systems
- language model
- information retrieval systems
- programming language
- active learning
- similarity measure