WEKO3
アイテム
A Simple Semantic Model for Flat GHC
https://ipsj.ixsq.nii.ac.jp/records/114997
https://ipsj.ixsq.nii.ac.jp/records/11499784704f97-8a59-46f9-ac41-b0cbcb1cdac5
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
KJ00003117531.pdf (164.7 kB)
|
|
| Item type | National Convention(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 1988-09-12 | |||||
| タイトル | ||||||
| 言語 | en | |||||
| タイトル | A Simple Semantic Model for Flat GHC | |||||
| 言語 | ||||||
| 言語 | eng | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||
| 資源タイプ | conference paper | |||||
| 著者所属(英) | ||||||
| en | ||||||
| Institute for New Generation Computer Technology | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| Institute for New Generation Computer Technology | ||||||
| 論文抄録(英) | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | In designing a set of transformation rules for Flat GHC programs, we were faced with the problem of justifying them on an appropriate semantic model. This paper informally describes the semantic model we designed for. that purpose. The full description of the semantics will be found in [1]. | |||||
| 書誌レコードID | ||||||
| 収録物識別子タイプ | NCID | |||||
| 収録物識別子 | AN00349328 | |||||
| 書誌情報 |
全国大会講演論文集 巻 第37回, 号 基礎理論および数値処理, p. 19-20, 発行日 1988-09-12 |
|||||
| 出版者 | ||||||
| 言語 | ja | |||||
| 出版者 | 情報処理学会 | |||||
