WEKO3
アイテム
型付高階モーバイル言語の設計
https://ipsj.ixsq.nii.ac.jp/records/19941
https://ipsj.ixsq.nii.ac.jp/records/19941a28d7e63-71f3-45f1-94c1-9c1f33f50e77
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-DBS98116069.pdf (645.8 kB)
|
Copyright (c) 1998 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | SIG Technical Reports(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 1998-07-08 | |||||||
| タイトル | ||||||||
| タイトル | 型付高階モーバイル言語の設計 | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | Desiging a Typed Higher - Order Mobile Language | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||
| 資源タイプ | technical report | |||||||
| 著者所属 | ||||||||
| 京都大学数理解析研究所 | ||||||||
| 著者所属 | ||||||||
| 京都大学数理解析研究所 | ||||||||
| 著者所属 | ||||||||
| 京都大学数理解析研究所 | ||||||||
| 著者所属 | ||||||||
| 京都大学数理解析研究所 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Research Institute for Mathematical Sciences, Kyoto University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Research Institute for Mathematical Sciences, Kyoto University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Research Institute for Mathematical Sciences, Kyoto University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Research Institute for Mathematical Sciences, Kyoto University | ||||||||
| 著者名 |
大堀, 淳
加藤岳臣
橋本, 政朋
吉田, 信明
× 大堀, 淳 加藤岳臣 橋本, 政朋 吉田, 信明
|
|||||||
| 著者名(英) |
Atsushi, Ohori
Tekeomi, Kato
Masatomo, Hashimoto
Nobuaki, Yoshida
× Atsushi, Ohori Tekeomi, Kato Masatomo, Hashimoto Nobuaki, Yoshida
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 値として扱うことが可能な第一級の文脈の概念を用いることにより，柔軟な分散計算を実現する上で必要なプログラムやデータなどの計算資源の移動，分散した計算資源の動的なリンク，さらにプログラムの遠隔実行等の機能を表現可能な高階型付きプログラミング言語の設計が可能である．この洞察に基づき，文脈を値として扱う計算系の理論を基礎とした新しいモーバイル計算のモデルを構築した．現在このモデルに基づく高水準モーバイル言語COMBOの設計及び実装を計画している．本稿では，文脈計算に基づく高階モーバイル計算について概説した後，COMBOの設計及び実装上の諸問題を論じる． | |||||||
| 論文抄録(英) | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | The notion of first-class contexts allows us to represent various advanced features required for flexible mobile and distributed programming, including data and code mobility, dynamic linking of distributed resources, and remote evaluation of a program. Based on this observation, we have developed a new model of mobile programming based on a typed context calculus, which is a typed lambda calculus enriched with first-class contexts, and are designing a higher-order mobile language, COMBO. This paper describes the context-based mobile computation model, and discusses various technical issues in the design and implementation of COMBO. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN10112482 | |||||||
| 書誌情報 |
情報処理学会研究報告データベースシステム（DBS） 巻 1998, 号 57(1998-DBS-116), p. 327-334, 発行日 1998-07-08 |
|||||||
| Notice | ||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
