Supporting covariant return types and generics in type relaxed weaving

Authors:
Tomoyuki Aotani;Manabu Toyama;Hidehiko Masuhara
Affiliations:
Japan Advanced Institute of Science and Technology;University of Tokyo;University of Tokyo
Venue:
Proceedings of the 10th international workshop on Foundations of aspect-oriented languages
Year:
2011

Citing 8
Cited 0

Featherweight Java: a minimal core calculus for Java and GJ

ACM Transactions on Programming Languages and Systems (TOPLAS)
An Overview of AspectJ

ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
Advice weaving in AspectJ

Proceedings of the 3rd international conference on Aspect-oriented software development
Typed parametric polymorphism for aspects

Science of Computer Programming - Special issue: Foundations of aspect-oriented programming
MiniMAO1: an imperative core language for studying aspect-oriented reasonings

Science of Computer Programming - Special issue: Foundations of aspect-oriented programming
StrongAspectJ: flexible and safe pointcut/advice bindings

Proceedings of the 7th international conference on Aspect-oriented software development
Type relaxed weaving

Proceedings of the 9th International Conference on Aspect-Oriented Software Development
Essential AOP: the A calculus

ECOOP'10 Proceedings of the 24th European conference on Object-oriented programming

Quantified Score

Hi-index	0.00

Visualization

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.