2012 Fiscal Year Final Research Report
Expanding Aspect-Oriented Programming
| Project/Area Number |
21300006
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (B)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
Software
|
|---|
| Research Institution | The University of Tokyo |
|---|
Principal Investigator |
|
|---|
| Co-Investigator(Renkei-kenkyūsha) |
IGARASHI Atsushi 京都大学, 大学院・情報学研究科, 教授 (40323456)
|
|---|
| Project Period (FY) |
2009 – 2012
|
| Keywords | 横断的関心事 / アスペクト指向 / 文脈指向 / セキュリティ / 意味論 / 型安全性 |
|---|
| Research Abstract |
We conducted research on aspect-oriented programming and context-oriented programming on several aspects, including construction of formalized semantics, improvement of expressiveness through revised type systems, proposal of language constructs for security concerns, and expanding application area through development of a novel language based on events. Those proposals are validated by implementing language systems by extending existing languages like Java and AspectJ,and by rewriting practical application programs.
|
Research Products
(27 results)
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
[Presentation] 動的レイヤー合成のための型 システム2013
Author(s)
井上裕昭, 五十嵐淳, Robert Hirschfeld, 増原英彦
Organizer
第13回プログラミングおよび プログラミング言語ワークショップ (PPL2013)
Place of Presentation
福島県会津若松東山温泉「御宿東鳳」
Year and Date
2013-03-04
-
-
-
-
-
[Presentation] Can we use AOP forpatching?2009
Author(s)
Hidehiko Masuhara
Organizer
A weakness in AspectJ's type system and a remedy、a talk at the workshop on Trade-offs in Software Language Engineering
Place of Presentation
University of Twente, Netherlands
Year and Date
2009-06-11
-
-
