Makoto Hamana公司-二阶计算的模块化终端规则及应用到代数效果处理程序

lmcs:6600个-计算机科学中的逻辑方法，2022年6月14日，第18卷第2期-https://doi.org/10.46298/lmcs-18(2:18)2022
二阶计算的模块化终端规则及应用到代数效果处理程序第条

作者：Makoto HamanaORCID公司

    我们提出了一种新的二阶终止模证明方法计算，并报告其实现SOL。证明方法对于证明高阶基础计算的终止性。要建立方法中，我们使用了语义标记翻译的变体和Blanqui的一般图式：强规范化的句法标准。作为应用程序，我们应用此方法显示变量的终止带有代数效果和效果处理程序的调用-推值演算。我们还表明我们的工具SOL对解决高阶终端问题是有效的。

    https://doi.org/10.46298/lmcs-18(2:18)2022
    资料来源：arXiv.org:1912.03434
    第18卷第2期
    发布日期：2022年6月14日
    验收日期：2022年4月2日
    提交日期：2020年6月26日
    关键词：计算机科学-符号计算，计算机科学-计算机科学中的逻辑
    许可证：归因4.0国际（CC BY 4.0）

    共享和导出

    咨询统计

    这个页面已经被浏览了1362次。
    本文的PDF已下载442次。