计算机与现代化
計算機與現代化
계산궤여현대화
COMPUTER AND MODERNIZATION
2012年
4期
82-85
,共4页
形状图%形状图逻辑%Hoare逻辑%形状分析%程序分析
形狀圖%形狀圖邏輯%Hoare邏輯%形狀分析%程序分析
형상도%형상도라집%Hoare라집%형상분석%정서분석
指针程序的分析一直是研究热点.本文提出一种基于形状图逻辑的形状分析方法,其中形状分析采用形状图来表达程序中指针的指向和相等关系,并用形状图逻辑来进行推理.形状图逻辑是一种把形状图看成有关指针的断言,并在此基础上对Hoare逻辑进行扩展而得到的程序逻辑.首先介绍所提出的形状图和形状图逻辑；然后在此基础之上,设计一种基于形状图逻辑的形状分析方法.
指針程序的分析一直是研究熱點.本文提齣一種基于形狀圖邏輯的形狀分析方法,其中形狀分析採用形狀圖來錶達程序中指針的指嚮和相等關繫,併用形狀圖邏輯來進行推理.形狀圖邏輯是一種把形狀圖看成有關指針的斷言,併在此基礎上對Hoare邏輯進行擴展而得到的程序邏輯.首先介紹所提齣的形狀圖和形狀圖邏輯；然後在此基礎之上,設計一種基于形狀圖邏輯的形狀分析方法.
지침정서적분석일직시연구열점.본문제출일충기우형상도라집적형상분석방법,기중형상분석채용형상도래표체정서중지침적지향화상등관계,병용형상도라집래진행추리.형상도라집시일충파형상도간성유관지침적단언,병재차기출상대Hoare라집진행확전이득도적정서라집.수선개소소제출적형상도화형상도라집；연후재차기출지상,설계일충기우형상도라집적형상분석방법.
