文献

J-GLOBAL ID：201102264710148004   整理番号：11A1026958

ポインターの不確かな同等性を取り扱うポインター論理

Pointer Logic Dealing with Uncertain Equality of Pointers

著者 (5件)： LIANG Hong-Jin (School of Computer Sci. and Technol., Univ. of Sci. and Technol. of China, Anhui, Hefei) ,  ZHANG Yu (School of Computer Sci. and Technol., Univ. of Sci. and Technol. of China, Anhui, Hefei) ,  CHEN Yi-Yun (School of Computer Sci. and Technol., Univ. of Sci. and Technol. of China, Anhui, Hefei) ,  LI Zhao-Peng (School of Computer Sci. and Technol., Univ. of Sci. and Technol. of China, Anhui, Hefei) ,  HUA Bao-Jian (School of Software Engineering, Univ. of Sci. and Technol. of China, Anhui, Hefei)
資料名： Ruanjian Xuebao  (Ruanjian Xuebao)
巻： 21  号： 2  ページ： 334-343  発行年： 2010年 
JST資料番号： C2542A  ISSN： 1000-9825  CODEN： RUXUEW  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： ポインター論理を,Cのようなプログラミング言語ポインターCのために設計した。ポインター論理はHoare論理の拡大であり,ポインターの同等性がよく整っているプログラムの安全性検証をサポートすることは,ポインタープログラム検証の正確なエイリアス解析のアイデアを使用した。ポインターの同等性が不確かである有向グラフのようなデータ構造を操作するプログラム特性についての拡張ポインター論理において推論するために,本論文は,一組の不確かな同等性ポインターアクセス経路セットを導入することによって,ポインター論理に対する拡大を提示した。Data from the ScienceChina, LCAS. Translated by JST

シソーラス用語： *物 ,  等価性 ,  論理 ,  プログラミング言語 ,  プログラム検証 ,  データ構造 ,  有向グラフ ,  アイデア
準シソーラス用語： *ポインタ ,  同等性 ,  アクセス

分類 (1件)： 計算機網  (JC03000K)

タイトルに関連する用語 (3件)： ポインター ,  同等性 ,  論理