Loading

2022年5月23日
第五章 设计规约
摘要： 第五章 设计规约 Reading Source Objectives 理解方法的规约 理解规约的前置，后置条件 欠定规约，非确定规约 规约的强度及其比较 懂得如何写出好的规约 编程语言中的函数和方法 参数：参数类型的匹配的检查在静态检查阶段 返回值：返回值的匹配的检查在静态检查阶段 方法：Block 阅读全文
posted @ 2022-05-23 20:53 hiaGeng 阅读(15) 评论(0) 推荐(0) 编辑