ITD Interfaces

Although the mechanism of Inter-Type Declarations (ITDs) is one of the key mechanisms in aspect-oriented programming, it disables separate compilation of aspect-oriented programs. We propose ITD interfaces, which are contracts between classes and aspects. An ITD interface has introduced method declarations, which do not provide bodies of the methods and require an aspect that specifies the ITD interface to provide the bodies of the methods.

Members

Publications

  • Manabu Toyama, Tomoyuki Aotani, Eric Bodden, Hidehiko Masuhara, and Éric Tanter, Aspect Interfaces: Towards Separate Type-checking of Aspect-Oriented Programs with Inter-Type Declarations, presented at the 94th IPSJ Workshop on Programming, June 2013.

Compiler

Case Study