Author:
Bagnara Roberto,Mesnard Fred
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Synthesis of ranking functions via DNN;Neural Computing and Applications;2021-02-26
2. Runtime Complexity Analysis of Logically Constrained Rewriting;Logic-Based Program Synthesis and Transformation;2021
3. SVMRanker: a general termination analysis framework of loop programs via SVM;Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2020-11-07
4. On ranking functions for single-path linear-constraint loops;International Journal on Software Tools for Technology Transfer;2019-11-13
5. Detecting multiphase linear ranking functions for single-path linear-constraint loops;International Journal on Software Tools for Technology Transfer;2019-07-24