文献

J-GLOBAL ID：201602283147311568   整理番号：16A0964016

確率的HOARE論理準【JST・京大機械翻訳】

Probabilistic Quasi-Hoare Logic

著者 (3件)： Wu Xinxing (Department of Computer,Shanghai Technical Institute of Electronics & Information) ,  Hu Guosheng (Department of Computer,Shanghai Technical Institute of Electronics & Information) ,  Chen Yixiang (Soft/Hardware Co-design Engineering Research Center MoE,East China Normal University)
資料名： Jisuanji Kexue  (Jisuanji Kexue)
巻： 43  号： 4  ページ： 177-181,191  発行年： 2016年 
JST資料番号： C2530A  ISSN： 1002-137X  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： HOARE論理に基づく,,理論的に正しいプログラムを,したがって,確率準HOARE論理,プログラム実行の正確さを記述するための定量化理論とプログラム(あるいはソフトウエア)の実際的実行の間の格差を定量的に記述し,理論でプログラム実現にされた程度を反映している。実際的実行時エラーの可能性を与えた。および正確さの高い解釈のための2つのプログラム複合シリアル後の全体の正確さは必ずしも高等問題を可能にする。Data from the ScienceChina, LCAS.【JST・京大機械翻訳】

シソーラス用語： ソフトウェア ,  *プログラム実行

著者キーワード (4件)： Hoare logic ,  Hoare triple ,  Correctness degree ,  Probability measure

分類 (1件)： 計算理論  (JB02000A)

タイトルに関連する用語 (2件)： 確率 ,  Hoare論理