WEKO3
アイテム
Safe Dynamics for Distributed Programming
http://hdl.handle.net/10228/0002000372
http://hdl.handle.net/10228/0002000372bce9c7bb-9a57-480f-ae1e-6d92d8c8799e
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
csse-8.pdf (98 KB)
|
|
| アイテムタイプ | テクニカルレポート = Technical Report(1) | |||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2024-02-21 | |||||||||||||
| 資源タイプ | ||||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||||||||
| 資源タイプ | technical report | |||||||||||||
| タイトル | ||||||||||||||
| タイトル | Safe Dynamics for Distributed Programming | |||||||||||||
| 言語 | en | |||||||||||||
| 言語 | ||||||||||||||
| 言語 | eng | |||||||||||||
| 著者 |
藤田, 憲悦
× 藤田, 憲悦
× Obara, Seiichi
|
|||||||||||||
| 抄録 | ||||||||||||||
| 内容記述タイプ | Abstract | |||||||||||||
| 内容記述 | For distributed programming, we introduce safe dynamics with dynamic types. The notion of dynamic types is here parameterized with a set of monotypes, called a kind. The kind is inductively defined as a set of monotypes. Hence, type case (dynamic type dispatch) mechanism as a recursive program on types can be naturally obtained, à la Martin-Löf, as an elimination rule for the inductively defined kinds. From a viewpoint of client-server programming, dynamic types under a constraint of inductively defined kinds provide a well-connected condition between a server and a client, with respect to types. Moreover, this point makes it possible to statically check dynamic types, such as ML-programs. A prototype of the system, called SDS (Safe Dynamics for Statically typed functional programming language), has been implemented by using C-language. | |||||||||||||
| 言語 | en | |||||||||||||
| 書誌情報 |
en : Technical Report in Computer Science and Systems Engineering p. 1-11, 発行日 2000-03-01 |
|||||||||||||
| 出版社 | ||||||||||||||
| 出版者 | 九州工業大学 | |||||||||||||
| 言語 | ja | |||||||||||||
| ISSN | ||||||||||||||
| 収録物識別子タイプ | PISSN | |||||||||||||
| 収録物識別子 | 1344-8803 | |||||||||||||
| 出版タイプ | ||||||||||||||
| 出版タイプ | VoR | |||||||||||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||||||||||
| テクニカルレポートNo. | ||||||||||||||
| CSSE-8 | ||||||||||||||
