手続きの完全な入出力について
スポンサーリンク
概要
- 論文の詳細を見る
手続きの入力と出力を明確に記述しようとすると、しばしば困難が生じる。本稿では、その問題を明確にし、その解決法について議論する。まず、プログラムの中で、手続き及び手続き呼び出し文の入力と出力を記述する。次に、この手続きをフローグラフで表し、手続きの入力と出力が満たすべき条件をデータフロー方程式として表現する。このデータフロー方程式を基に、手続きの入力と出力を定義する。この定義は、手続きを使用するために必要十分な情報を表す完全な入出力を与える。本稿で得られた結果は、手続きのインタフェース設計、プログラムのコメント文、プログラミング言語、プログラミング方法論に利用できる。
- 一般社団法人情報処理学会の論文
- 1997-03-28
著者
関連論文
- データ並列言語におけるベクトルプロセッサ向きコード生成
- 京都大学工学部における授業アンケートへの取組とその特徴
- SIMD型超並列計算機SM-1用プロファイラの設計と実現
- データ並列C言語NCXのEWS用処理系の実装
- データ並列言語におけるベクトルプロセッサ向きコード生成
- n-gram解析手法を応用したプログラム中の欠損の検出
- n-gram解析を用いたプログラム中の非定型パターン・欠損の検出
- データ並列計算のための拡張C言語NCX
- SIMD型超並列計算機SM-1における仮想プロセッサ機能の実現
- 手続きの完全な入出力について
- 可読性の高いアルゴリズムの記述法
- SIMD 型超並列計算機上の拡張 Common Lisp 処理系におけるごみ集めとその評価
- VPリストを用いたデータ並列言語のアクティビティ制御
- ネットワークサーバ向けのLispシステムの実現
- ネットワークサーバ向けのLispシステムの実現
- VPリストを用いたデータ並列言語のアクティビティ制御