Programming Language for Effective and Reliable Software Development

用于有效且可靠的软件开发的编程语言

• 批准号: 20700022
• 负责人: KAMINA Tetsuo
• 金额: $ 2.75万
• 依托单位: The University of Tokyo (2009-2010)Gunma University (2008)
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Young Scientists (B)
• 财政年份: 2008
• 资助国家: 日本
• 起止时间: 2008 至 2010
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-20700022/
• 关键词: プログラム言語論; プログラミングパラダイム; ソフトウェア工学; モジュラリティ; 文脈指向; 型システム; モジュール化; モジュール合成

To enhance effectiveness of software development while preserving the reliability of products, we developed a new programming language that supports both features of type safety (ability to detect type-relating errors before program execution) and scalable modularity (ability to construct products from software modules, which are also constructed from other fine-grained modules). We also developed a new programming language that supports dynamic module composition and decomposition, and realized a new mechanism for program verification.

为了提高软件开发的有效性，同时保持产品的可靠性，我们开发了一种新的编程语言，支持类型安全（在程序执行之前检测类型相关错误的能力）和可扩展模块化（从软件模块构建产品的能力，这些模块也是从其他细粒度模块构建的）。我们还开发了一种新的编程语言，支持动态模块组合和分解，并实现了一个新的机制，程序验证。

项目成果

レイヤー合成のための型理論

层组成的类型理论

• 发表时间: 2009
• 作者: 五十嵐淳;紙名哲生
• 通讯作者: 紙名哲生

A Smooth Combination of Role-based Languages and Context Activation

基于角色的语言和上下文激活的平滑结合

• 发表时间: 2010
• 期刊: Proceedings of the Ninth Workshop on Foundation of Aspect-Oriented Languages(FOAL2010)
• 作者: Yuu Nakajima;Takatoshi Oishi and Toru Ishida;Toshihide Miyagi;Tetsuo Kamina
• 通讯作者: Tetsuo Kamina

Designing event-based context transition in context-oriented programming

在面向上下文的编程中设计基于事件的上下文转换

• DOI: 10.1145/1930021.1930023
• 发表时间: 2010
• 期刊: Proceedings of 2nd International Workshopon Context-Oriented Programming (COP'10)
• 作者: Tetsuo Kamina;Tomoyuki Aotani;HidehikoMasuhara
• 通讯作者: HidehikoMasuhara

EventCJ: a context-oriented programming language with declarative event-based context transition

• DOI: 10.1145/1960275.1960305
• 发表时间: 2011-03
• 作者: T. Kamina;Tomoyuki Aotani;Hidehiko Masuhara

Flexible Object Adaptation for Java-like Languages

类 Java 语言的灵活对象适配

• 发表时间: 2008
• 期刊: Proceedings of the 7th ACM International Conferenceon on Generative Programming and Components Engineering
• 作者: Keiichi Horio;Takeshi Yamakawa;Tetsuo Kamina
• 通讯作者: Tetsuo Kamina