ハシモト　マサトモ   Masatomo Hashimoto   橋本　政朋    所属   千葉工業大学  人工知能・ソフトウェア技術研究センター 人工知能・ソフトウェア技術研究センター    職種   主席研究員
言語種別	英語
発行・発表の年月	2000/09
形態種別	国際会議プロシーディングス
査読	査読あり
標題	MobileML: A Programming Language for Mobile Computation
執筆形態	共著
掲載誌名	Proceedings of the 4th International Conference on Coordination Languages and Models
掲載区分	国外
出版社・発行元	Springer
巻・号・頁	pp.198-215
著者・共著者	Masatomo Hashimoto, Akinori Yonezawa
概要	This paper describes a language which facilitates programming for mobile computation i.e., computation in which code migrates and continues to run across network nodes. Such languages allow us to develop novel distributed applications (such as workflow systems, flexible software distribution, and intelligent search systems) more easily and efficiently. However, many of existing programming language systems are often insufficient because they lack the support for concise description of migration and formal models for reasoning about program's properties including type safety and security. Our goal is to construct a programming language system which adequately supports mobile computation on a solid theoretical basis. As an attempt to achieve that, we have designed a programming language based on ML which has well-founded theoretical bases.
DOI	10.1007/3-540-45263-X_13
ISBN	978-3-540-45263-8
researchmap用URL	https://link.springer.com/chapter/10.1007/3-540-45263-X_13