ProiectPLP 这是一个有关编程语言原理的项目,它由使用Coq Proof Assistant中的imp语言创建的原始编程语言组成。它具有一部分语法(表示一组规则),这些规则定义了被认为是该语言正确构造的语句或表达式的符号的组合,以及一部分语义(其评估了语法上正确的代码段的含义)。
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~