Inference Rules for Generic Code Migration of Aspect-Oriented Programs

Fernando Barden RubboEduardo Kessler PivetaDaltro José Nunes

Several changes occurred in the AspectJ language to provide support for parametric polymorphism, a.k.a. generics, which was recently introduced in the Java type system. Such changes aim to improve the type safety of the source code and to prepare the language to support generic code migration. Current approaches for this kind of migration focus only on object-oriented code. Thus, they do not consider the use of aspects to encapsulate crosscutting concerns. We propose a collection of type constraint rules for the polymorphic version of AspectJ. These rules are used together with an existing constraint based algorithm to enable the conversion of nongeneric legacy code to add actual type parameters in both Java and AspectJ languages.

Caso o link acima esteja inválido, faça uma busca pelo texto completo na Web: Buscar na Web

Biblioteca Digital Brasileira de Computação - Contato:
     Mantida por: