摘要：Part 1 JML总结 Section 1 理论基础 The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior 阅读全文

摘要：HW11中对ageVar采用缓存优化的等价性证明（包括溢出情况） 概要 我们知道，第三次作业里age上限变为2000，而如果缓存年龄的平方和，2000*2000*800 > 2147483647，会溢出。但是实际上，我们仍然能通过缓存得到正确的结果。这是因为，计算机内进行的二进制运算其实每一步都进行 阅读全文