形式化复习七—Bit Vector比特向量

Bit Vectors 比特向量： 数据结构 建模/性质推理 先看一个著名的BUG： bug原因： int mid = (low+high)/2; 这会造成溢出问题 如何解决？ int mid = low +(high+low)/2 ？ × 比特向量 一个比特向量b是一个具有 l （是一个常数）长度的0或1的序列 语法 o 代表二元运算 语义 对于一个解释器 < b > ，我们可以看到，b的解释，

>>阅读原文<<