| Item type |
Trans(1) |
| 公開日 |
2021-11-25 |
| タイトル |
|
|
タイトル |
Verifying the Confluence of GHC Rewrite Rules |
| タイトル |
|
|
言語 |
en |
|
タイトル |
Verifying the Confluence of GHC Rewrite Rules |
| 言語 |
|
|
言語 |
eng |
| キーワード |
|
|
主題Scheme |
Other |
|
主題 |
[発表概要, Unrefereed Presentatin Abstract] |
| 資源タイプ |
|
|
資源タイプ識別子 |
http://purl.org/coar/resource_type/c_6501 |
|
資源タイプ |
journal article |
| 著者所属 |
|
|
|
Department of Computer Science, Gunma University |
| 著者所属 |
|
|
|
Faculty of Informatics, Gunma University |
| 著者所属(英) |
|
|
|
en |
|
|
Department of Computer Science, Gunma University |
| 著者所属(英) |
|
|
|
en |
|
|
Faculty of Informatics, Gunma University |
| 著者名 |
Date, Yao Faustin
Makoto, Hamana
|
| 著者名(英) |
Date, Yao Faustin
Makoto, Hamana
|
| 論文抄録 |
|
|
内容記述タイプ |
Other |
|
内容記述 |
Haskell is a functional programming language. The Glasgow Haskell Compiler (GHC) allows developers to use rewrite rules to optimize Haskell programs in the compilation pipeline. Confluence is a desirable property of rewrite rules. In this work, we develop a plugin for GHC to check the confluence property for GHC rewrite rules in a Haskell program by using our confluence checker SOL (Second-Order Laboratory). A plugin is a program that can extend the functionalities of GHC. In this presentation, we describe the transformation method of GHC rewrites rules into SOL. Then we demonstrate confluence checking of rewrite rules given in two Haskell libraries: Arrows with choice and Vector library. Our tool found that rewrite rules in the arrows with choice library were not confluent, which has not been reported elsewhere. |
| 論文抄録(英) |
|
|
内容記述タイプ |
Other |
|
内容記述 |
Haskell is a functional programming language. The Glasgow Haskell Compiler (GHC) allows developers to use rewrite rules to optimize Haskell programs in the compilation pipeline. Confluence is a desirable property of rewrite rules. In this work, we develop a plugin for GHC to check the confluence property for GHC rewrite rules in a Haskell program by using our confluence checker SOL (Second-Order Laboratory). A plugin is a program that can extend the functionalities of GHC. In this presentation, we describe the transformation method of GHC rewrites rules into SOL. Then we demonstrate confluence checking of rewrite rules given in two Haskell libraries: Arrows with choice and Vector library. Our tool found that rewrite rules in the arrows with choice library were not confluent, which has not been reported elsewhere. |
| 書誌レコードID |
|
|
収録物識別子タイプ |
NCID |
|
収録物識別子 |
AA11464814 |
| 書誌情報 |
情報処理学会論文誌プログラミング（PRO）
巻 14,
号 5,
p. 49-49,
発行日 2021-11-25
|
| ISSN |
|
|
収録物識別子タイプ |
ISSN |
|
収録物識別子 |
1882-7802 |
| 出版者 |
|
|
言語 |
ja |
|
出版者 |
情報処理学会 |
IPSJ-TPRO1405007.pdf (26.8 kB)
