2019年5月22日
OO第三单元作业小结
摘要： 一.梳理JML的语言基础和应用工具链情况。 （1）JML语言理论基础。 第三单元的任务主要是基于JML规格实现某些类中的某些方法，因此，读懂JML就成了完成此次作业的第一步。现对本单元比较常用的JML表达式做一些梳理。 语句部分： @ ensures (\exists int i; 0 <= i & 阅读全文
posted @ 2019-05-22 21:12 Luocx 阅读(111) 评论(0) 推荐(0) 编辑