- 博客(0)
- 资源 (1)
- 收藏
- 关注
JML Level 0手册.pdf
总结作业使用。JML的设计考虑到了未来扩展需要,把语言分成了几个层次。其中level 0是最核心的语言特征,要求所 有的JML工具都要支持。从课程教学角度,我们仅针对level 0语言特征,选择其中最核心和最常用的一 些要素进行介绍和训练。建议同学们通过http://www.jmlspecs.org/来了解更多细节。
2020-05-22
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人