断言演算相关硕士博士期刊学术论文

在一个类C小语言PointerC的程序验证器原型的实现中,设计并实现了对一维数组元素进行赋值的语句的推理规则.该推理规则是Hoare逻辑......