Detail of a work
| Tweet | |
| 加藤, 大久保, 粕谷, 山本, "Haskellを対象とした値コンストラクタへの関数注入によるトレース手法," 第22回プログラミングおよびプログラミング言語ワークショップ, 2020年3月. | |
| ID | 232 |
| 分類 | 研究会・全国大会等 |
| タグ | |
| 表題 (title) |
Haskellを対象とした値コンストラクタへの関数注入によるトレース手法 |
| 表題 (英文) |
|
| 著者名 (author) |
加藤 知樹, 大久保 弘崇, 粕谷 英人, 山本 晋一郎 |
| 英文著者名 (author) |
|
| 編者名 (editor) |
|
| 編者名 (英文) |
|
| キー (key) |
|
| 書籍・会議録表題 (booktitle) |
第22回プログラミングおよびプログラミング言語ワークショップ |
| 書籍・会議録表題(英文) |
|
| 巻数 (volume) |
|
| 号数 (number) |
|
| ページ範囲 (pages) |
|
| 組織名 (organization) |
|
| 出版元 (publisher) |
|
| 出版元 (英文) |
|
| 出版社住所 (address) |
|
| 刊行月 (month) |
3 |
| 出版年 (year) |
2020 |
| 採択率 (acceptance) |
|
| URL |
|
| 付加情報 (note) |
|
| 注釈 (annote) |
|
| 内容梗概 (abstract) |
Haskellを対象とするトレース手法としてHatLightが提案されている.
HatLightは,関数の呼び出しと計算結果を保持するようにHaskellプログラムを変換してトレースを行う. また,トレース結果はARTと呼ばれる有向グラフで保持されるため,トレース結果をさまざまな形式で表示可能である. しかし,ARTを生成するためには,トレース対象のプログラムが参照しているライブラリの変換も必要となるため,多数のライブラリを参照している場合にトレースが困難となる. 本論文では,HatLightの課題の解決を目的とし,参照しているライブラリの変換を必要とせず,その結果の値のみをARTに記録することで構造を維持する手法を提案し,実装について報告する. |
| 論文電子ファイル | 利用できません. |
| BiBTeXエントリ |
@inproceedings{id232,
title = {Haskellを対象とした値コンストラクタへの関数注入によるトレース手法},
author = {加藤 知樹 and 大久保 弘崇 and 粕谷 英人 and 山本 晋一郎},
booktitle = {第22回プログラミングおよびプログラミング言語ワークショップ},
month = {3},
year = {2020},
}
|