Type relaxed weaving

12 years 4 months ago
Type relaxed weaving
Statically typed aspect-oriented programming languages restrict application of around advice only to the join points that have conforming types. Though the restriction guarantees type safety, it can prohibit application of advice that is useful, yet does not cause runtime type errors. To this problem, we present a novel weaving mechanism, called the type relaxed weaving, that allows such advice applications while preserving type safety. We formalized the mechanism, and implemented as an AspectJ compatible compiler, called RelaxAJ. Categories and Subject Descriptors D.3 [Programming Languages]: Language Constructs and Features—modules, packages Keywords Aspect-oriented programming, around advice, type safety
Hidehiko Masuhara, Atsushi Igarashi, Manabu Toyama
Added 17 May 2010
Updated 17 May 2010
Type Conference
Year 2010
Where AOSD
Authors Hidehiko Masuhara, Atsushi Igarashi, Manabu Toyama
Comments (0)