文献

J-GLOBAL ID：201102268737064304   整理番号：11A1199457

ポインタプログラムの検証のためのポインタ論理

Pointer Logic for Verification of Pointer Programs

著者 (4件)： 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) ,  WANG Zhi-Fang (School of Computer Sci. and Technol., Univ. of Sci. and Technol. of China, Anhui, Hefei) ,  HUA Bao-Jian (School of Computer Sci. and Technol., Univ. of Sci. and Technol. of China, Anhui, Hefei)
資料名： Ruanjian Xuebao  (Ruanjian Xuebao)
巻： 21  号： 3  ページ： 415-426  発行年： 2010年 
JST資料番号： C2542A  ISSN： 1000-9825  CODEN： RUXUEW  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： 本報告は,ポインタプログラムの検証のために設計したポインタ論理を改善して,拡張した。その主要な寄与は,アクセス経路の合法セットの概念を提示したことであり,そしてそれは,アクセス経路上の基本演算を単純化し,そして,論理の推論規則を理解するのを簡単にした。さらにまた,推論規則による論理を,局所推論および関数構築のために拡張し,そして,論理を,関数呼出しにおいて,便利に用いられるようにした。Data from the ScienceChina, LCAS. Translated by JST

シソーラス用語： *物 ,  論理 ,  検証 ,  規則 ,  簡素化
準シソーラス用語： *ポインタ ,  アクセス ,  推論規則 ,  単純化

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

タイトルに関連する用語 (3件)： ポインタ ,  検証 ,  論理