PMAN - Paper management system: 加藤, 大久保, 粕谷英人, 山本, Haskellを対象とした先行評価を模したトレースの実現手法, 2019年3月.
Detail of a work
| Tweet | |
| 加藤, 大久保, 粕谷英人, 山本, "Haskellを対象とした先行評価を模したトレースの実現手法," 情報処理学会研究報告, 2019-SE-201(5), pp. 1-7 2019年3月. | |
| ID | 224 |
| 分類 | 研究会・全国大会等 |
| タグ | |
| 表題 (title) |
Haskellを対象とした先行評価を模したトレースの実現手法 |
| 表題 (英文) |
|
| 著者名 (author) |
加藤 知樹,大久保 弘崇,粕谷英人,山本 晋一郎 |
| 英文著者名 (author) |
|
| キー (key) |
|
| 定期刊行物名 (journal) |
情報処理学会研究報告 |
| 定期刊行物名 (英文) |
|
| 巻数 (volume) |
2019-SE-201 |
| 号数 (number) |
5 |
| ページ範囲 (pages) |
1-7 |
| 刊行月 (month) |
3 |
| 出版年 (year) |
2019 |
| Impact Factor (JCR) |
|
| URL |
|
| 付加情報 (note) |
|
| 注釈 (annote) |
|
| 内容梗概 (abstract) |
Haskell における実行トレースでは，遅延評価に即した結果が提示される．遅延評価に即したトレースは，関数本体のトレースの中に引数のトレースの断片が入り組むよう表示され，ある式が最終的にどのような式になったかという評価関係がわかりづらい．このことは，どの式の評価中にエラーが発生したかの特定の妨げとなる．一方，先行評価の言語では引数のトレースが最終的な評価結果まで表示されたあと関数本体のトレースが表示されるので評価関係がわかりやすい．そこで本論文では，Haskell における，より評価関係のわかりやすいトレースの提示を目標とし，遅延評価に即したトレースを先行評価でのトレースに擬似的に表示する手法を提案する．そして Haskell での実行トレースを行うツールである Hat をもとに提案手法をツールとして実装する． |
| 論文電子ファイル | 利用できません． |
| BiBTeXエントリ |
@article{id224,
title = {Haskellを対象とした先行評価を模したトレースの実現手法},
author = {加藤 知樹 and 大久保 弘崇 and 粕谷英人 and 山本 晋一郎},
journal = {情報処理学会研究報告},
volume = {2019-SE-201},
number = {5},
pages = {1-7},
month = {3},
year = {2019},
}
|