保存此搜索
研究论文 2024年4月 线性化的合成理论 组合性是编程语言研究的核心,已成为大型系统可扩展验证的重要目标。 尽管如此,还没有关于 线性化能力 正确性的黄金标准。。。 研究论文 2023年8月 协同时序自动机和正则语言——第一部分 有限状态自动机𝒩的状态可以通过\119977;接受的正则语言前缀闭包中的单词集合来识别。但是单词可以排序,在许多可能的顺序中,一个非常自然的顺序是共词典。。。 研究论文 2022年12月 全粒度Petri网和过程 我们提出了一种基于多项式型有限集配置和etale映射的Petri网形式。 形式主义支持Goltz和Reisig风格的几何语义(过程是图的etale映射)和代数语义。。。 介绍 2022年3月 介绍 2021年10月 -
介绍 2021年10月 研究论文 2021年10月 作为类型的逻辑关系:程序模块的相关参数证明 语言设计者对程序模块理论感兴趣,不仅是因为它对编程的实际重要性,还因为它与语言设计中的三个基本问题密切相关: 相位差 , 计算效果 。。。 社论 2021年7月 社论 2021年3月 社论 2021年3月 介绍 2021年1月 介绍 2020年11月 采访 2020年5月 介绍 2019年11月 社论 2019年5月 研究论文 2018年12月 逻辑工程 :严格的TCP/IP和套接字API测试种族规范和验证 传统的计算机工程依赖于测试和调试开发过程,使用散文规范文档描述公共接口的行为(最多)。 但散文规范不能用于任何。。。 社论 2018年11月 研究论文 2018年8月 随机算法期望运行时间的弱前提推理 本文提供了一个wp风格的演算,用于获取随机算法的预期运行时的边界。 它的应用包括确定随机算法的(可能无限)期望终止时间和证明正解。。。 社论 2018年7月 社论 2018年3月