您好,欢迎光临本网站![请登录][注册会员]  

搜索资源列表

  1. SIMP-abstract-machine:抽象机,用于SIMP(简单命令式语言)的形式语义-源码

  2. SIMP抽象机 在2020/21年间,我在伦敦国王学院(King's College London)担任第二年模块5CCS2PLD编程语言范例的助教。 PLD处理形式语义和编程语言验证。 为了探究语义,模块教科书(《 )定义了一种教育语言SIMP(简单命令式语言),并为其提供了抽象语法和抽象机器语义。 该项目是SIMP抽象机的Java实现,用于向学生传授SIMP程序的形式化推理。 抽象语法 以下是SIMP抽象语法的简要概述。 该语法在命令包,整数包和布尔包中表示为类和枚举。 抽象机 抽象机解
  3. 所属分类:其它

    • 发布日期:2021-03-04
    • 文件大小:129024
    • 提供者:weixin_42168745