[aosd-discuss] Preservation

[James Riely]

Short answer is no.  For a discussion of how one might safely
incorporate aspects in languages with generic types and subtyping, you
might look at our recent paper:

 Typed Parametric Polymorphism for Aspects.
 R. Jagadeesan, A. Jeffrey, and J. Riely. Science of Computer
Programming, vol. 63, no. 3, pp. 267-296, 2006.

Gary Leavens has recently addressed type-safety in aspectJ as well.

It is available from my homepage:
http://condor.depaul.edu/~jriely/papers/index.html

Best,
James.

On 5/24/07, dm_alhad at alcor.concordia.ca <dm_alhad at alcor.concordia.ca> wrote:
>
> Hi,
> Does AspectJ preserves typing?
> Thanks
>
>
>
> _______________________________________________
> discuss mailing list    -    discuss at aosd.net
>
> To unsubscribe and change options, go to:
> http://aosd.net/mailman/listinfo/discuss_aosd.net
>
> Check out the AOSD.net Wiki: http://aosd.net/wiki
>