自動化を考慮したループ結合によるプログラム変換システムの作成
スポンサーリンク
概要
- 論文の詳細を見る
プログラムのソース・レベルでの変換方法の一つとしてUnfold/F0ld変換がある。この手法をもとにプログラムのループ結合を行なうことで効率の良いプログラムを変換生成する研究がいくつかなされているが、この過程を自動化している例は少ない。本研究では、対象をPrologによるリスト処理プログラムとした上で、リスト処理述語において各々の間で成り立っている等価な関係についての補助知識をUnfo1d/Fold変換規則に加えることで、これらの述語に関連したループ結合をほぼ自動的に行なうプログラム変換システムを作成した。
- 一般社団法人情報処理学会の論文
- 1986-10-01
著者
関連論文
- 業務アプリケーション開発へのUML Profile for EDOCの適用法の提案
- インタビューによる要求抽出作業を誘導するシステムの実現方法
- インタビューによるソフトウェア要求分析過程とWWW上に構築するその支援環境
- 特集「ソフトウェア開発における仕様記述法とその適用」の編集にあたって
- 新しい要求仕様のあり方
- 77-04 簡単な数式処理言語FORMAL による部分分数展開プログラム
- 76-01 LISPのM式をS式に変換するSNOBOL4プログラム
- ユーザモデルを用いたオンラインヘルプのメッセージ生成
- 計算機言語文法書からの知識獲得
- 「顧客満足」時代の情報システムSFA
- 業務フロー図とオブジェクト指向分析・設計(パネル)
- ユーザの意思決定をフィードバックする意思決定支援システム
- 目的に沿った手続きの流れを考慮したインタフェースの研究
- 達成感を考慮した初心者ユーザを動機づけるヒューマンインタフェース
- 達成感を考慮した初心者ユーザを動機づけるヒューマンインタフェース
- ユーザの心理に重点を置いたインタフェースに関する研究
- モデルの適応によるオフィス情報システムの構築
- クラス階層を導入した論理プログラムミング言語のための否定
- シナリオ形式で与えられた仕様の詳細化支援
- 入出力例と説明文を生成するリスト処理プログラム理解支援システム
- ユーザの作業コマンド列からの繰り返しプランの認識
- 入出力例から既存のプログラムを組み合わせてプログラムを合成する一手法
- 自動化を考慮したループ結合によるプログラム変換システムの作成
- Implementation of Gentzen-Type Formal System Representing Properties of Functions (アルゴリズムにおける証明論)
- 数式処理技術を活用した中学数学教育支援システム(数式処理と数学研究への応用)
- オブジェクト指向技術とその応用論文特集の発行にあたって : ソフトウェア工学とデータ工学の立場から
- 特集「エディタ」の編集にあたって
- An Implementation of the Formula Manipulation Package in Common Lisp
- Abductiveモデルによる診断システムにおけるコストと危険度を考慮した質問生成法