プログラムの抽象動作表現を用いた連想検索法
スポンサーリンク
概要
- 論文の詳細を見る
ユーザにより指定された入出力関係の系列と同じデータの依存関係を生成するプログラムをライブラリから検索する手法を提案する.提案手法は,抽象動作グラフと呼ぶプログラムの中間表現とデータの依存関係に基づく意味的な照合操作を用いて,プログラムの記述言語,使用構文,記述順序などの違いに起因した検索もれを低減する.一般に,ライブラリ中の個々のプログラムに対して,抽象動作グラフを含む抽象的な表現(モデルと呼ぶ)が複数個存在する.本検索手法は,これらのモデルに関して抽象化のレベルに従って順序関係を定めてモデルの半順序集合を保持する.さらに,この半順序関係に従って照合に使用するモデルを選択することにより,照合に成功するプログラムの候補の数を単調に増減する.
- 社団法人電子情報通信学会の論文
- 1993-11-26
著者
関連論文
- 戦略的なグラフ変換演算を用いた関数型プログラムのデバッグ法
- 並列処理環境における関数型プログラムのデバッグ方式
- 5Y-6 興味にもとづくユーザグループ動的生成方式(情報システムの構築(2),一般講演,コンピュータと人間社会)
- 個人の視点に基づいた情報分類方法の提案とその実現例
- 匿名のままの権利行使を可能とした認証方式
- 耐タンパ個人端末を利用し個人情報の保護を可能とした認証方式
- プライバシ保護に注目した証明書を基盤とした認証システムの一方式
- パーソナライズ情報提供方式の提案と評価(マルチメディア通信と分散処理)
- 動的な興味変化を利用したコミュニティ構築方法の検討
- 分散化リコメンドシステムの提案
- ニュース記事のパーソナライズサービス方式の提案と評価
- ニュース記事のパーソナライズサービス方式の提案と評価
- 個人適応型情報フィルタリングシステムの適用評価について
- インターネット上でのインタラクティブマーケティング
- インターネット上でのデータベースマーケティング
- インターネットQoSビジュアライザの構成
- Infoketを用いた電子出版サ-ビスの構成と評価 (特集 エレクトロニックコマ-ス)
- World Wide Webによる情報販売方式
- コミュニティを利用した情報伝達方式
- 広域ネットワークでのコミュニケーションモデルの提案
- 逆導出原理と遺伝的アルゴリズムを用いた規則集合獲得手法GA-CIGOL
- 埋め込み操作を用いたプラン一般化手法
- 逆導出原理と遺伝的アルゴリズムを用いた規則集合獲得手法GA-CIGOL
- 新概念を発見する帰納論理プログラミング手法に関する一提案
- 順序構造を用いたプラン一般化手法について
- プログラムの抽象動作表現を用いた連想検索法
- 非線形的なプランニングにおける一般化手法の提案
- プロセス分解代数に基づくデータフロー図の段階的詳細化における変換の一意性と再利用性
- プロセス分解代数に基づくデータフロー図の段階的詳細化
- プロセス分解代数に基づく要求分析過程の定式化 (知的ソフトウェア技術)
- プロセス分解代数に基づくデータフロー図の段階的詳細化システムの設計と実現
- プレスブルガー算術を用いたInfeasible Path検出の高速化技法
- 関数型プログラムの戦略的バグ検出法(コードとデザインを中心とした組合せ数学)
- EC・情報流通技術の現状と実際(5)パ-ソナル化情報提供サ-ビス