WEKO3
アイテム
Prologソースレベル・オプティマイザの試作とその性能評価
https://ipsj.ixsq.nii.ac.jp/records/15531
https://ipsj.ixsq.nii.ac.jp/records/15531fd26f91b-df7a-46ab-9407-e9efcd8ca057
名前 / ファイル | ライセンス | アクション |
---|---|---|
![]() |
Copyright (c) 1987 by the Information Processing Society of Japan
|
|
オープンアクセス |
Item type | Journal(1) | |||||||
---|---|---|---|---|---|---|---|---|
公開日 | 1987-04-15 | |||||||
タイトル | ||||||||
タイトル | Prologソースレベル・オプティマイザの試作とその性能評価 | |||||||
タイトル | ||||||||
言語 | en | |||||||
タイトル | A Source -to- Source Prolog Optimizer and Its Performance Evaluation | |||||||
言語 | ||||||||
言語 | jpn | |||||||
キーワード | ||||||||
主題Scheme | Other | |||||||
主題 | 小特集:論理型言語とその処理系 | |||||||
資源タイプ | ||||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||
資源タイプ | journal article | |||||||
著者所属 | ||||||||
富士通(株)国際情報社会科学研究所 | ||||||||
著者所属(英) | ||||||||
en | ||||||||
International Institute for Advanced Study of Social Information Science (IIASSIS), FUJITSU LIMITED | ||||||||
著者名 |
沢村, 一
× 沢村, 一
|
|||||||
著者名(英) |
Hajime, Sawamura
× Hajime, Sawamura
|
|||||||
論文抄録 | ||||||||
内容記述タイプ | Other | |||||||
内容記述 | 現実のPrologプログラムを効率化のためにソースレベルで変換を行う最適化変換手法が 著者らの他の論文において提案されている.それらにはインライン展開法 カットの自動挿入法 数々の局所的最適化手法等が含まれている.本論文では このような最適化手法の概要を述べ それらを統合化して試作されたオプティマイザの性能評価結果を示しその有効性を検証する.本論文の方法はプログラムの最適化変換に向けての素朴であるが実際的で有望なアプローチの一つとして特徴づけられるであろう. | |||||||
書誌レコードID | ||||||||
収録物識別子タイプ | NCID | |||||||
収録物識別子 | AN00116647 | |||||||
書誌情報 |
情報処理学会論文誌 巻 28, 号 4, p. 339-348, 発行日 1987-04-15 |
|||||||
ISSN | ||||||||
収録物識別子タイプ | ISSN | |||||||
収録物識別子 | 1882-7764 |