摘要： 在做Lab2的时候，开始试着去写每个类的Abstraction function，Representation invariant，Safety from rep exposure，即抽象函数AF，表示不变量RI和防止表示暴露。但感觉对它们的认知还不是很明确，因此，我将在这详细复习记录下它们都表示什 阅读全文