There are many techniques and tools to prove termination of C programs, but up to now these tools were not very powerful for fully automated termination proofs of programs whose termination depends on recursive data structures like lists. We present the first approach that extends powerful techniques for termination analysis of C programs (with memory allocation and explicit pointer arithmetic) to lists.
翻译：暂无翻译
相关内容
这个新版本的工具会议系列恢复了从1989年到2012年的50个会议的传统。工具最初是“面向对象语言和系统的技术”，后来发展到包括软件技术的所有创新方面。今天许多最重要的软件概念都是在这里首次引入的。2019年TOOLS 50+1在俄罗斯喀山附近举行，以同样的创新精神、对所有与软件相关的事物的热情、科学稳健性和行业适用性的结合以及欢迎该领域所有趋势和社区的开放态度，延续了该系列。
官网链接：http://tools2019.innopolis.ru/
Arxiv
0+阅读 · 2023年7月24日
Arxiv
0+阅读 · 2023年7月24日
Arxiv
0+阅读 · 2023年7月24日
Arxiv
0+阅读 · 2023年7月21日
相关VIP内容
相关资讯
相关论文
Arxiv
0+阅读 · 2023年7月24日
Arxiv
0+阅读 · 2023年7月24日
Arxiv
0+阅读 · 2023年7月24日
Arxiv
0+阅读 · 2023年7月21日
微信扫码咨询专知VIP会员