Abstract:
Statically typed aspect-oriented programming languages restrict application of around advice only to the join points that have conforming types. Though the restriction guarantees type safety, it can prohibit application of advice that is useful, yet does not cause runtime type errors. To this problem, we present a novel weaving mechanism, called the type relaxed weaving, that allows such advice applications while preserving type safety. We formalized the mechanism, and implemented as an AspectJ compatible compiler, called RelaxAJ.
Reference:
Type Relaxed Weaving (Hidehiko Masuhara, Atsushi Igarashi and Manabu Toyama), In Proceedings of the 9th International Conference on Aspect-Oriented Software Development (AOSD'10) (Mario Südholt, ed.), ACM Press, 2010.
Bibtex Entry:
@inproceedings{masuhara2010aosd,
address = {New York, NY, USA},
publisher = {ACM Press},
location = {Saint-Malo, France},
isbn = {TBD},
year = 2010,
booktitle = {Proceedings of the 9th International Conference on
Aspect-Oriented Software Development (AOSD'10)},
editor = {Mario S{\"u}dholt},
pdf = {aosd2010.pdf},
author = {Hidehiko Masuhara and Atsushi Igarashi and Manabu Toyama},
doi = {10.1145/1739230.1739245},
title = {Type Relaxed Weaving},
pages = {121--132},
acceptanceratio = {29% (18/62)},
month = mar # { 18},
keywords = {AspectJ},
optnote = {extended version http://www.graco.c.u-tokyo.ac.jp/ppp/index.php?plugin=attach&refer=Projects%2Ftyperelaxedweaving.ja&openfile=trw-full.pdf},
abstract = {Statically typed aspect-oriented programming languages restrict application of around advice only to the join points that have conforming types. Though the restriction guarantees type safety, it can prohibit application of advice that is useful, yet does not cause runtime type errors. To this problem, we present a novel weaving mechanism, called the type relaxed weaving, that allows such advice applications while preserving type safety. We formalized the mechanism, and implemented as an AspectJ compatible compiler, called RelaxAJ.}
}