Composite annotations with inter-type declarations in aspect-oriented programming | IEEE Conference Publication | IEEE Xplore