{{ $t("message.ADVERTISEMENT") }}
{{ $t("message.AD_EXPIRE_DATE") }}2024年03月
文献
J-GLOBAL ID:200902210439189386   整理番号:09A0986755

ガイド付き木オートマトンに基づく逆プログラムの自動生成

著者 (6件):
資料名:
巻: 26th  ページ: ROMBUNNO.1C-2  発行年: 2009年 
JST資料番号: X0080B  ISSN: 1348-0901  資料種別: 会議録 (C)
記事区分: 短報  発行国: 日本 (JPN)  言語: 日本語 (JA)
抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
プログラムに対する逆プログラムは,元プログラムの出力結果を入力とし,対応した元プログラムの入力を出力する。プログラムと逆プログラムは,「元に戻す」と「やり直し」や直列化と非直列化など随所に見られるため,プログラムが与えられたときに対応する逆プログラムが生成できれば便利である。また,双方向化や並列化などのプログラムの変換手法の一部には,逆プログラムの生成を利用するものがある。これまで,様々な逆プログラム生成手法が知られているが,多くの手法ではどのような入力プログラムに対し逆プログラムの生成が成功するかが明らかではない。このことは,逆プログラム生成を別のプログラム変換から利用するなど,逆プログラム生成器への入力プログラムを自動生成する際に問題となりうる。本論文では,我々は一階の関数型言語に対するガイド付き木オートマトンに基づく逆プログラムの生成手法を提案する。本手法において決定的な逆プログラムの生成が成功する入力プログラムは,木オートマトンに対応する文法の非曖昧性で厳密に特徴づけられる。(著者抄録)
シソーラス用語:
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ(有料)でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。

準シソーラス用語:
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ(有料)でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。

分類 (3件):
分類
JSTが定めた文献の分類名称とコードです
オートマトン理論  ,  計算機システム開発  ,  言語プロセッサ 
タイトルに関連する用語 (2件):
タイトルに関連する用語
J-GLOBALで独自に切り出した文献タイトルの用語をもとにしたキーワードです

前のページに戻る