WEKO3
-
RootNode
アイテム
PROLOGにおける大域的プログラム解析によらない単一化処理の述語間最適化方式
https://ipsj.ixsq.nii.ac.jp/records/14357
https://ipsj.ixsq.nii.ac.jp/records/14357166972d5-0883-49d9-a772-e20ebba3f4f1
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-JNL3411020.pdf (1.1 MB)
|
Copyright (c) 1993 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | Journal(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 1993-11-15 | |||||||
| タイトル | ||||||||
| タイトル | PROLOGにおける大域的プログラム解析によらない単一化処理の述語間最適化方式 | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | An Inter - Procedural Unification Optimization without Any Global Program Analysis in PROLOG | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | 論文 | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||
| 資源タイプ | journal article | |||||||
| その他タイトル | ||||||||
| その他のタイトル | アルゴリズム | |||||||
| 著者所属 | ||||||||
| 九州工業大学情報工学部電子情報工学教室 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Department of Computer Science and Electronics, Faculty of Computer Science and Systems Engineering, Kyushu Institute of Technology | ||||||||
| 著者名 |
硴崎賢一
× 硴崎賢一
|
|||||||
| 著者名(英) |
Ken-Ichi, Kakizaki
× Ken-Ichi, Kakizaki
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 本論文では、述語呼び出し時に引数特性を伝達する、単純で効果的なPROLOGの単一化処理の最適化方式を提案する。提案方式では、直接出カ変数と呼ぷ引数の分類と、その分類情報を格納する直接出力変数フラグを導入し、述語呼び出しでその情報を受け渡すことにより最適化を行っている。本方式は、述語単位のコンパイルで述語間の大域的な最適化が行えるという特長を持っており、不必要なデリファレンスやトレイル処理を除去することによって、出カモードの単一化の処理速度を大幅に向上させることができる。append／3での評価により、従来のWAMに封して3．4倍の高速化が行え、58MIPSのワークステーション上で、3．3MLIPSの高い性能が得られることが明らかになった。 | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN00116647 | |||||||
| 書誌情報 |
情報処理学会論文誌 巻 34, 号 11, p. 2386-2394, 発行日 1993-11-15 |
|||||||
| ISSN | ||||||||
| 収録物識別子タイプ | ISSN | |||||||
| 収録物識別子 | 1882-7764 | |||||||
