搜索结果: 1-1 共查到“计算机科学技术基础学科 Beyond Strong”相关记录1条 . 查询时间(0.062 秒)
We describe a symbolic heap abstraction that unifies reasoning about arrays, pointers, and scalars, and we define a fluid update operation on this symbolic heap that relaxes the dichotomy between stro...