2014 Fiscal Year Final Research Report
A study on programming language mechanisms for easy-to-use safe module compositions
Project/Area Number |
23700033
|
Research Category |
Grant-in-Aid for Young Scientists (B)
|
Allocation Type | Multi-year Fund |
Research Field |
Software
|
Research Institution | Tokyo Institute of Technology (2012-2014) Japan Advanced Institute of Science and Technology (2011) |
Principal Investigator |
AOTANI Tomoyuki 東京工業大学, 情報理工学(系)研究科, 助教 (20582919)
|
Project Period (FY) |
2011-04-28 – 2015-03-31
|
Keywords | モジュラリティ / プログラミング言語 / アスペクト指向プログラミング / 文脈指向プログラミング |
Outline of Final Research Achievements |
Modules are independent and interchangeable parts of a program. Functions, data structures, classes and packages are typical examples. This study focused on programming techniques for advanced modularization, namely aspect-oriented programming (AOP) and context-oriented programming (COP), and addressed to develop programming language mechanisms for declarative and safe compositions of modules. We proposed interfaces for AOP called ITD interfaces to assure type safety. We also developed (1) a COP language called EventCJ that supports declarative and composable context transition rules and (2) core calculi to let a single COP language support multiple context activation mechanisms using context holders.
|
Free Research Field |
プログラミング言語の設計と実装
|