Supporting covariant return types and generics in type-relaxed weaving (bibtex)

by Tomoyuki Aotani, Manabu Toyama and Hidehiko Masuhara

Abstract:

This paper introduces our ongoing study on type safety of the type relaxed weaving mechanism in the presence of two Java 5 features, namely covariant return types and generics. We point out additional conditions that are necessary to ensure type safety, which can be checked by a slightly modified type checking rules for the type relaxed weaving.

Reference:

Supporting covariant return types and generics in type-relaxed weaving (Tomoyuki Aotani, Manabu Toyama and Hidehiko Masuhara), In Proceedings of Foundations of Aspect-Oriented Langauges (FOAL2011) (Gary T. Leavens, Shmuel Katz, Hidehiko Masuhara, eds.), 2011.

Bibtex Entry:

@inproceedings{aotani2011foal,
  editor = {Gary T. Leavens and Shmuel Katz and Hidehiko Masuhara},
  optnote = {ACM Digital library},
  day = 21,
  month = mar,
  year = 2011,
  url = {http://www.eecs.ucf.edu/FOAL/papers-2011/proceedings.pdf},
  booktitle = {Proceedings of Foundations of Aspect-Oriented Langauges (FOAL2011)},
  author = {Tomoyuki Aotani and Manabu Toyama and Hidehiko Masuhara},
  title = {Supporting covariant return types and generics in
type-relaxed weaving},
  pages = {13--17},
  doi = {10.1145/1960510.1960516},
  pdf = {foal2011-trw.pdf},
  keywords = {AspectJ},
  abstract = {This paper introduces our ongoing study on type safety of the type relaxed weaving mechanism in the presence of two Java 5 features, namely covariant return types and generics. We point out additional conditions that are necessary to ensure type safety, which can be checked by a slightly modified type checking rules for the type relaxed weaving.}
}