2011 Fiscal Year Final Research Report
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
|
| Keywords | プログラム処理系 / プロセス計算 / 分散システム / コード移動 |
|---|
| 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.
|
