陈、陶璐;韩婷婷;陆健 半结构化数据的规范和验证。 （英语） Zbl 1097.68072号 武汉大学自然科学学院。 11，第1期，107-112（2006）. 摘要：树逻辑继承自环境逻辑，被引入作为相关编程语言和类型系统的形式基础。在本文中，我们将递归引入到这样的逻辑系统中，这样可以更清晰、更简洁地描述树数据。通过区分命题和谓词，给出了模态逻辑的简明语义解释。我们还为不带（三角右）运算符的逻辑开发了一种模型检查算法。证明了算法的正确性。可以看出，这样的工作是半结构化数据处理语言和更灵活类型系统的基础。 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 68第05页 数据结构 03B45号 模态逻辑（包括规范逻辑） 关键词：模型检查算法 PDF格式BibTeX公司 XML格式引用 \textit{T.Chen}等，武汉理工大学。11，第1号，第107-112页（2006年；Zbl 1097.68072） 全文： 内政部 参考文献： [1] Calcagno C，Cardelli L，Gordon A，树的空间逻辑的有效性判定。《TLDI’03程序》，ACM出版社，2003年，62–73·Zbl 1083.68021号 [2] Caires L，Cardelli L。并发的空间逻辑（第一部分）。Proc TACS’2001，计算机科学讲义，20012215:1-30·Zbl 1087.03507号 ·doi:10.1007/3-540-45500-01 [3] Milner R、Parrow J、Walker D.《流动过程的微积分》，第一部分/IL。《信息与计算杂志》，1992100:1–77·Zbl 0752.68036号 ·doi:10.1016/0890-5401（92）90008-4 [4] Chen T，Han T，Lu J.带递归和模型检查算法的树逻辑。http://moon.nju.edu.cn/tl/docs/treeLogic.pdf，2004年9月。 [5] Charatonik W，Talbot J.模型检查移动环境的可判定性。CSL’01程序。计算机科学课堂讲稿，2001242:339-354·Zbl 0999.68123号 ·doi:10.1007/3-540-44802-024 [6] Winskel G.关于模态演算模型检验的注释。理论计算机科学，1991,83:157-167·Zbl 0745.68083号 ·doi:10.1016/0304-3975（91）90043-2 [7] Cardelli L、Gardner P、Ghelli G.使用隐藏标签操作树木。Proc FOSSACS’03，《计算机科学讲稿》，纽约：斯普林格出版社，2003年·Zbl 1029.68092号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。