基于重写系统的语义分析方法
编程语言
2017-09-18 v1
摘要
以一阶句子可证性表示的属性，可以通过仅寻找该句子否定的模型来证伪。然而，这一事实仅在受限情况下有意义，取决于句子的形式和所涉系统的类别。在本文中，我们展示了许多基于重写系统的有趣属性可以以这种方式研究，包括（条件）重写中临界对的不可行性与非连接性、条件重写系统的非循环性，或建模为有序排序重写理论的网站受保护页面的安全访问。有趣的是，当为处理上述问题而开发的特定技术失败时，这种统一的语义方法却成功了。
引用
@article{arxiv.1709.05095,
title = {A Semantic Approach to the Analysis of Rewriting-Based Systems},
author = {Salvador Lucas},
journal= {arXiv preprint arXiv:1709.05095},
year = {2017}
}
备注
Pre-proceedings paper presented at the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), Namur, Belgium, 10-12 October 2017 (arXiv:1708.07854)