摘要:OO第三单元总结 18231169 黄思为 1.JML语言的理论基础及应用工具链 ​ 个人感觉JML的书写与离散数学中命题逻辑、谓词逻辑比较类似。大概是用一种形式化的语言,规定代码的实现。 1.1 JML的理论基础 JML中有类似离散中的存在量词、全称量词:\exsit、\forall 与伪代码类似 阅读全文
posted @ 2020-05-22 11:14 WilliamHuang 阅读(133) 评论(0) 推荐(0) 编辑