プログラムにおける計算的誤りの一検出方法
スポンサーリンク
概要
- 論文の詳細を見る
The logical misses in programs are usually detected by checking up intermediate results of executed programs. However, if the check-up process is performed by computer, the debugging time of programs will be greatly shorten. The present authors formulate this method by defining incorrect intermediate results as the "Computational Errors". In detail, construction the predicate based on variables in a program which provides with the correct intermediate results, we detect the error by the T/F value of its predicate. This method is a kind of verification of accounts. and especially effective in the case where properties of variables of relations between variables are given.
- 一般社団法人情報処理学会の論文
- 1972-02-15
著者
関連論文
- 簡単なデータ表現を用いた両眼視に基づく距離情報の抽出
- λ適合分割
- スパース行列における最適ピボット順序決定の一考察
- フィ-ドバックシフトレジスタ形しきい素子回路網により生成される周期系列
- シフトレジスタ形しきい素子回路網の周期動作について(技術談話室)
- 最小幅配線を実現するための一手法
- 多値論理関数の合成について (多値論理およびその応用 II)
- プログラムにおける計算的誤りの一検出方法
- ある完備な多値論理系について (多値論理およびその応用研究会報告集)
- 三値しきい値関数について (多値論理およびその応用研究会報告集)
- 保守手順に適合する文書情報の編成法
- ペトリネットによる並行ソフトウェアシステムの設計時動作解析
- ソフトウェア保守における開発時文書構成の問題点
- 版管理機能を有する整構造プログラミング支援エディタDIFF
- 版管理機能を有する整構造プログラミング支援エディタDIFFの評価
- プログラム階層構造の生成, 処理, 文書化能力を有するテキスト・エディタ
- 構造化プログラミング用語LSP(PL/I)
- 亜順序文法とその構文解析法
- パネル討論会 : 知識工学とその応用 : 昭和57年前期第24回全国大会報告
- 第5回パターン認識国際会議に出席して
- 国際会議に想う : 本学会と国際会議との係り合い
- 知識ベースとその応用 (人工知能とデータベース : 関西支部セミナーより)
- 情報処理に関する学問体系
- 理工系情報学科における教育用電子計算機の現状と問題点
- 第6回人工知能国際会議を開催して
- 人工知能研究の展望
- 「人工知能とソフトウェア技術特集号」の編集にあたって
- μ-actorの実現と知識表現の構造
- 変数を共有する問題の擬似並列処理
- 濃淡画像からの対象物の切り出し
- 相互作用を持つシステムとその能力
- ファジイ推論について
- 相互作用を持つ文脈自由形のシステムの能力
- 相互作用を持つグラフプロダクションシステム
- 相対的類似性の概念に基づく濃淡画像の領域分割
- Fuzzy集合処理システムの構成
- Fuzzyグレ-ドの代数積および代数和
- 有向AND/ORグラフを用いた形式的推論とその完全性
- 協調作業におけるエージエシト間の相互作用のモデル化
- パネル討論会 : CASE環境の夢物語 : 革新的将来像 : 「CASE環境」シンポジウム
- 語いの一分割法の提案
- 等高線情報を用いたエコーイメージの生成
- 多層三次元デイスプレイ
- 26)カラー画像専用処理装置の試作(テレビジョン電子装置研究会(第91回)画像表示研究会(第50回))
- カラー画像専用処理装置の試作
- 断層像を用いた立体視(医用画像情報処理)
- 1)螢光眼底写真の貼合せと血管構造の総合(画像技術応用研究会(第36回))
- 血管構造に基づく眼底写真の貼合せ
- 階層的画面はり合せ法によるモザイク画面の構成
- ソフトウェア開発における協調支援環境Vela : (4)事例ベースの構成法
- L-Fuzzy論理 (多値論理およびその応用 II)
- Fuzzy代数 (多値論理およびその応用研究会報告集)
- ウエッブ文法によるデータ構造取り扱いシステム
- Fuzzy-Fuzzyオートマトン (時系列パターンの認識システムの研究)
- ウエッブ文法によるグラフの表現
- 新しい記号処理概念によるSNOBOL インタプリタ
- Dynamic Effective Precision Matching Computationによる低消費電力化(システムLSIのための先進アーキテクチャ論文)
- 知識工学の展望 (知識工学の現状)
- 総論--知能情報処理とロボットの研究開発動向 (知能情報処理とロボット特集)
- 第5世代コンピュ-タへの期待 (第5世代計算機)
- 人工知能から知識工学への展開 (知識工学--応用人工知能)
- 診断と立体視
- ファジイ論理と知的情報処理 (ファジイ理論--あいまいさをどう把えるか)
- 医用画像処理