2021年7月6日
java 学习笔记 AF&RI
摘要： Abstraction function——抽象函数抽象函数是表示值到其对应的抽象值的映射——AF: R->A。对于抽象函数来说，仅仅宽泛的说抽象域表示了什么并不够。抽象函数的作用是规定合法的表示值会如何被解释到抽象域。作为一个函数，我们应该清晰的知道从一个输入到一个输入是怎么对应的。Rep inv 阅读全文
posted @ 2021-07-06 22:57 大奕哥&VANE 阅读(125) 评论(0) 推荐(0) 编辑