阿拉康，比阿特丽斯;劳尔·古铁雷斯;萨尔瓦多卢卡斯 上下文相关依赖项对。 （英文） Zbl 1177.68133号 Arun-Kumar，S.（编辑）等人，FSTTCS 2006：软件技术和理论计算机科学基础。第26届国际会议，印度加尔各答，2006年12月13日至15日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-49994-7/pbk）。计算机科学课堂讲稿4337，297-308（2006）。 摘要：终止是处理上下文敏感重写系统时最有趣的问题之一。尽管有很多技术可以证明上下文相关重写（CSR）的终止性，但依赖对方法是证明重写终止性的最有力的技术之一，但还没有与CSR终止性的证明相关联的研究。在本文中，我们展示了如何使用依赖对来证明CSR的终止。所开发技术的实施和实际应用产生了一个新颖而强大的框架，改进了当前证明CSR终止的最先进方法。关于整个系列，请参见[Zbl 1132.68001号]. 引用于8文件 MSC公司： 2012年第68季度 语法和重写系统 68号30 软件工程的数学方面（规范、验证、度量、需求等） 关键词：依赖项对;项重写;程序分析;终止 PDF格式BibTeX公司 XML格式引用 \textit{B.Alarcón}等人，Lect。注释计算。科学。4337，297--308（2006；Zbl 1177.68133） 全文： 内政部