WEKO3
アイテム
関数型言語Validにおける記号処理機能の拡充
https://ipsj.ixsq.nii.ac.jp/records/31473
https://ipsj.ixsq.nii.ac.jp/records/31473d7ee9a59-7c14-4961-b988-50e6debe1e9c
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-PRO82003009.pdf (1.3 MB)
|
Copyright (c) 1982 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | SIG Technical Reports(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 1982-12-10 | |||||||
| タイトル | ||||||||
| タイトル | 関数型言語Validにおける記号処理機能の拡充 | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | Extension of Functional Programming Language VALID for Symbol Manipulation | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||
| 資源タイプ | technical report | |||||||
| 著者所属 | ||||||||
| Musashino Electrical Communication Laboratory N.T.T. | ||||||||
| 著者所属 | ||||||||
| Musashino Electrical Communication Laboratory N.T.T. | ||||||||
| 著者所属 | ||||||||
| Musashino Electrical Communication Laboratory N.T.T. | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Musashino Electrical Communication Laboratory, N.T.T. | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Musashino Electrical Communication Laboratory, N.T.T. | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Musashino Electrical Communication Laboratory, N.T.T. | ||||||||
| 著者名 |
小野, 諭
× 小野, 諭
|
|||||||
| 著者名(英) |
Satoshi, Ono
× Satoshi, Ono
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | The authors have proposed new functional programming language VALID for parallel numerical/list processing applications. VALID is designed to be executed on dataflow computers efficiently. In this paper VALID is extended to improve symbol manipulation ability. Declaration pattern matching and lenient/lazy evaluation for recursive data structures are introduced. To handle data abstraction and history sensitivity concept of module is also proposed. Extended compiler is currently under development. | |||||||
| 論文抄録(英) | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | The authors have proposed new functional programming language VALID for parallel numerical/list processing applications. VALID is designed to be executed on dataflow computers efficiently. In this paper, VALID is extended to improve symbol manipulation ability. Declaration, pattern matching and lenient/lazy evaluation for recursive data structures are introduced. To handle data abstraction and history sensitivity, concept of module is also proposed. Extended compiler is currently under development. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN10485570 | |||||||
| 書誌情報 |
情報処理学会研究報告プログラミング（PRO） 巻 1982, 号 49(1982-PRO-003), p. 57-64, 発行日 1982-12-10 |
|||||||
| Notice | ||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
