プログラミング研究室

文脈指向プログラミングの基礎

数々の文脈指向プログラミング(COP)言語が提案されている一方で、その性質に関する議論は多くない。本プロジェクトはCOPの言語機構の性質を、単純化したCOP言語の形式化を行い、他のオブジェクト・継承・trait・mixin・フィーチャなどの言語機構を包含するような言語設計を検討する。

メンバー

• Robert Hirschfeld
• 五十嵐淳
• 増原英彦

論文

• Robert Hirschfeld, Hidehiko Masuhara, and Atsushi Igarashi, Layer and Object Refinement for Context-oriented Programming in L, in Proceedings of IPSJ 95th Workshop on Programming, 2013-2-(2), August 2013.
• Robert Hirschfeld, Hidehiko Masuhara, and Atsushi Igarashi, L: Context-oriented Programming With Only Layers, In Proceedings of Workshop on Context-Oriented Programming (COP2013), Article No. 2, July 2013.
• Atsushi Igarashi, Robert Hirschfeld, and Hidehiko Masuhara, A Type System for Dynamic Layer Composition, In Proceedings of 19th International Workshop on Foundations of Object-Oriented Languages (FOOL 2012), pp.13-24, October 2012.
• Robert Hirschfeld, Atsushi Igarashi, and Hidehiko Masuhara, ContextFJ: A Minimal Core Calculus for Context-Oriented Programming, In Proceedings of Foundations of Aspect-Oriented Langauges (FOAL2011), pp.25-29, March 2011.