课题基金 / 基金详情

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

A Practical Ambient-calculus Based Language with High-level Communication/Migration Supports
一种基于环境微积分的实用语言,具有高级通信/迁移支持
批准号:
21700029
负责人:
UMATANI Seiji
金额:
$2.33万
依托单位:
依托单位国家:
日本
项目类别:
Grant-in-Aid for Young Scientists (B)
财政年份:
2009
资助国家:
日本
项目状态:
已结题
起止时间:
2009 至 2011

项目摘要

项目成果

相关文献

中文摘要
翻译
在这项研究中,我们开发了一个实用的基于ambientcalculus的编程语言。开发的语言有几个直观的功能,易于理解的程序员:通道通信的pi演算,识别远程位置的词汇范围的名称,和语法区分结构的动态绑定。此外,我们还开发了执行框架的低级别环境演算和一般的实现技术,正确执行其程序在广域分布式环境。
英文摘要
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.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Safe AmbientsのためのJavaフレームワーク
用于安全环境的 Java 框架
DOI: --
发表时间: 2011
期刊: 情報処理学会論文誌プログラミング
影响因子: --
作者: [岡田翔太, 馬谷誠二, 林奉行, 八杉昌宏, 湯淺太一]
通讯作者: 湯淺太一
Safeアンビエントに基づく分散アプリケーション開発用Lisp環境
基于 Safe Ambient 的 Lisp 分布式应用程序开发环境
DOI: --
发表时间: 2011
期刊:
影响因子: --
作者: [林奉行, 馬谷誠二, 八杉昌宏, 湯淺太一]
通讯作者: 湯淺太一
L-Closureを用いた真に末尾再帰的なSchemeインタプリタ
使用 L-Closure 的真正尾递归方案解释器
DOI: --
发表时间: 2010
期刊: 情報処理学会論文誌プログラミング
影响因子: --
作者: [八杉昌宏, 小島啓史, 小宮常康, 平石拓, 馬谷誠二, 湯淺太一]
通讯作者: 湯淺太一
動的負荷分散フレームワークTascell の広域分散およびメニーコア環境における評価
在广泛分布的多核环境中评估动态负载均衡框架 Tascell
DOI: --
发表时间: 2011
期刊:
影响因子: --
作者: [平石 拓, 八杉 昌宏, 馬谷 誠二]
通讯作者: 馬谷 誠二
16