A Practical Ambient-calculus Based Language with High-level Communication/Migration Supports
Project/Area Number |
21700029
|
Research Category |
Grant-in-Aid for Young Scientists (B)
|
Allocation Type | Single-year Grants |
Research Field |
Software
|
Research Institution | Kyoto University |
Principal Investigator |
UMATANI Seiji 京都大学, 大学院・情報学研究科, 助教 (40378831)
|
Project Period (FY) |
2009 – 2011
|
Project Status |
Completed (Fiscal Year 2011)
|
Budget Amount *help |
¥3,640,000 (Direct Cost: ¥2,800,000、Indirect Cost: ¥840,000)
Fiscal Year 2011: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2010: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2009: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
|
Keywords | プログラム処理系 / プロセス計算 / 分散システム / コード移動 / プログラミング言語 / モバイルコード / 大規模分散システム / モバイル・エージェント / アンビエント計算 / Webアプリケーション開発 |
Research Abstract |
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.
|
Report
(4 results)
Research Products
(27 results)