2021年5月31日
BUAAOO_第三单元总结：JML与优化的辛酸历程
摘要： BUAAOO_第三单元总结：JML与优化的辛酸历程 写在前面 本单元JML的使用，让我爱恨交织。爱，是爱它的没有歧义，你所想到的所有可能产生歧义的方法行为，都会被JML解构的清清楚楚明明白白；恨，是恨它的纷繁复杂，一个简单的方法尚且还要用个十来行JML才能描述清楚，更别说复杂的方法，使用JML来描述 阅读全文
posted @ 2021-05-31 20:05 是小鸿不是小红 阅读(83) 评论(0) 推荐(0) 编辑