×

同步树语言的超近似后代。 (英语) Zbl 1356.68118号

van Raamsdonk,Femke(编辑),第24届重写技术和应用国际会议(RTA 2013),荷兰埃因霍温,2013年6月24日至26日。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-53-8)。LIPIcs–莱布尼茨国际信息学论文集2128-142(2013)。
摘要:验证中使用了重写系统对初始术语集的后代(后继)进行过逼近。这种验证方法的成功取决于近似值的质量。为了获得更好的近似,我们将使用非正则语言。我们提出了一个始终终止的过程,该过程使用逻辑程序表示的同步树(元组)语言计算子体的过近似。
关于整个系列,请参见[Zbl 1280.68049号].

MSC公司:

2012年第68季度 语法和重写系统
68N17号 逻辑编程
65年第68季度 形式语言和自动机
60年第68季度 规范和验证(程序逻辑、模型检查等)
PDF格式BibTeX公司 XML格式引用
全文: 内政部