Re: Preservation

"James Riely" <[email protected]> Thu, 24 May 2007 12:04:19 -0500

Newsgroups	gmane.comp.programming.aspect.general
Message-ID	<[email protected]>

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, [email protected] <[email protected]> wrote:
>
> Hi,
> Does AspectJ preserves typing?
> Thanks
>
>
>
> _______________________________________________
> discuss mailing list    -    [email protected]
>
> 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
>

_______________________________________________
discuss mailing list    -    [email protected]

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