【摘 要】
：
在一个基于霍尔逻辑和形状图逻辑的C语言自动验证器中,设计并实现了对形状图中所含易变数据结构的形状检查方法.本工作在验证器的形状系统中实现了显式形状检查与隐式形状检
【机 构】
：
中国科学技术大学计算机科学与技术学院;
【基金项目】
：
国家自然科学基金项目(61170018,61229201)资助
论文部分内容阅读
在一个基于霍尔逻辑和形状图逻辑的C语言自动验证器中,设计并实现了对形状图中所含易变数据结构的形状检查方法.本工作在验证器的形状系统中实现了显式形状检查与隐式形状检查,并通过引入不同的形状级别,使验证器能够根据不同的严格程度及时发现程序中不符合形状定义的易变数据结构,避免对形状图逻辑的相关演算造成影响.此外,为分解易变数据结构中不同指针域带来的复杂性,形状检查方法引入了三阶段处理框架:形状分割、形状分析及形状推断,分别实现形状图的预处理,针对指针指向与节点类型等方面进行分析,以及根据相关规则推断易变数据结构的形状级别.
其他文献
通过描述两位教师创造性使用教科书的情况,深入细致地分析了他们能够创造性使用教科书的原因。从内部原因来说,主要表现在四个方面:处在新手向专家过渡的年龄阶段;认同并践行
为研究生活垃圾焚烧炉渣集料对水泥稳定碎石基层路用性能的影响规律,将0~9.5mm炉渣集料按照不同比例替代天然石料制备了水泥稳定炉渣碎石混合料,并测试了混合料的击实特性和
随着分离式面板技术在面板堆石坝工程中应用的逐渐增多,该项技术的优势受到了越来越多面板堆石坝设计研究人员的关注。为补充分离式面板技术的设计理论依据,使该项技术可在更
知识共享是知识密集型组织成功实施知识管理的核心问题,同时也是最难以解决的问题。由于拥有知识意味着拥有资源和权力,人们通常不愿意和他人分享知识。近年来的知识共享动机
针对传统故障诊断方法只利用单一参数对复杂系统进行诊断具有信息不完备和不确定性的问题,提出了一种基于PCA和D-S证据理论的多传感器信息融合故障诊断方法.该方法基于PCA对
随着我国汽车保有量的持续快速增加,越来越多的城市面临着道路交通问题,其中,早晚高峰期间的车辆违规加塞,不仅严重降低了城市道路的通行效率、扰乱了交通秩序,还极易引发事
细节虽小,但能成就数学课堂教学的精彩。教师要重视教学过程中的细节,精心捕捉细节,用细节点亮数学课堂,让学生感受到数学的魅力,体验到学习数学的乐趣,提升课堂教学的质量,
随着新一代信息技术的快速发展,互联网技术、增值业务等新兴业务及产品成为通信行业的新经济增长点。新技术的兴起带来新发展契机,众多新技术的使用引发通信行业运营模式的变
为了揭示小麦新品种平安0602在不同生态区域高产稳产特性,依据2015—2017年河南省冬小麦区域试验产量汇总资料,采用产量、变异系数、高稳系数、回归系数及坐标法对试验数据进
构建了4类不同的超亲水微/纳多孔结构,通过低速液滴撞击实验研究了多孔介质的结构参数如微/纳尺度特征、孔隙率以及表面粗糙度等对液滴行为和动力学特性的影响。结果表明：多孔