Author:
Genaim Samir,Codish Michael,Gallagher John,Lagoon Vitaly
Publisher
Springer Berlin Heidelberg
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Termination of Recursive Functions by Lexicographic Orders of Linear Combinations;Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity;2022-11-29
2. Complexity Analysis for Java with AProVE;Lecture Notes in Computer Science;2017
3. A Transformational Approach to Resource Analysis with Typed-Norms;Logic-Based Program Synthesis and Transformation;2014
4. Input-Termination of Logic Programs;Logic Based Program Synthesis and Transformation;2005
5. Inference of Well-Typings for Logic Programs with Application to Termination Analysis;Static Analysis;2005