编程语言的设计原理课程项目.pdfVIP

编程语言的设计原理 课程项目 胡振江、赵海燕、熊英飞 2018 课程项目要求 • 设计一个带类型系统的程序语言，解决实践中的问 题，给出基本实现 • 要求： • 需要说明该语言解决实践中的什么问题 • 需要论证该语言是否解决了该问题，解决的程度如何 • 根据需要，给出类型系统的Safety 的证明、类型检查算法 和算法终止性证明 • 根据需要，给出解决问题的形式化定义，并证明解决了该 问题 • 需要给出该语言的实现和示例程序。 • 可以不给出语言的lexer和parser，示例程序可以直接用抽象语 法树表达。通过使用OCaml或者Haskell等表达能力强的语言， 抽象语法树可以和实际程序很类似。 • 可以通过修改本课程给出的Ocaml代码实现。 课程项目要求 • 组队：1~3人为一个小组完成 • 考核时间点： • 4月4 日：报组队名单给助教 • 4月18 日：选题报告。每组10分钟，介绍选题