A Practical Ambient-calculus Based Language with High-level Communication/Migration Supports

一种基于环境微积分的实用语言，具有高级通信/迁移支持

• 批准号: 21700029
• 负责人: UMATANI Seiji
• 金额: $ 2.33万
• 依托单位: Kyoto University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Young Scientists (B)
• 财政年份: 2009
• 资助国家: 日本
• 起止时间: 2009 至 2011
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-21700029/
• 关键词: プログラム処理系; プロセス計算; 分散システム; コード移動; プログラミング言語; モバイルコード; 大規模分散システム; モバイル・エージェント; アンビエント計算; Webアプリケーション開発

In this research, we developed a practical ambientcalculus based programming language. The developed language has several intuitive features easily understandable to programmers : channel communication of the pi calculus, identification of remote locations with lexically scoped names, and syntactically distinguished constructs for dynamic bindings. Furthermore, we also developed execution frameworks of lower-level ambient calculus and general implementation techniques for correctly executing its programs in wide-area distributed environments.

在这项研究中，我们开发了一个实用的基于ambientcalculus的编程语言。开发的语言有几个直观的功能，易于理解的程序员：通道通信的pi演算，识别远程位置的词汇范围的名称，和语法区分结构的动态绑定。此外，我们还开发了执行框架的低级别环境演算和一般的实现技术，正确执行其程序在广域分布式环境。

项目成果

Safe AmbientsのためのJavaフレームワーク

用于安全环境的 Java 框架

• 发表时间: 2011
• 期刊: 情報処理学会論文誌プログラミング
• 作者: 岡田翔太;馬谷誠二;林奉行;八杉昌宏;湯淺太一
• 通讯作者: 湯淺太一

Safeアンビエントに基づく分散アプリケーション開発用Lisp環境

基于 Safe Ambient 的 Lisp 分布式应用程序开发环境

• 发表时间: 2011
• 作者: 林奉行;馬谷誠二;八杉昌宏;湯淺太一
• 通讯作者: 湯淺太一

L-Closureを用いた真に末尾再帰的なSchemeインタプリタ

使用 L-Closure 的真正尾递归方案解释器

• 发表时间: 2010
• 期刊: 情報処理学会論文誌プログラミング
• 作者: 八杉昌宏;小島啓史;小宮常康;平石拓;馬谷誠二;湯淺太一
• 通讯作者: 湯淺太一

動的負荷分散フレームワークTascell の広域分散およびメニーコア環境における評価

在广泛分布的多核环境中评估动态负载均衡框架 Tascell

• 发表时间: 2011
• 作者: 平石 拓;八杉 昌宏;馬谷 誠二
• 通讯作者: 馬谷 誠二

Safe AmbientsのためのJavaライブラリ

用于安全环境的 Java 库

• 发表时间: 2011
• 作者: 岡田翔太;馬谷誠二;林奉行;八杉昌宏;湯淺太一
• 通讯作者: 湯淺太一