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