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

• Type: Conference
• Year: 2010
• Where: AOSD
• Authors: Hidehiko Masuhara, Atsushi Igarashi, Manabu Toyama
• Keywords: AOSD 2010, Aspect-oriented Programming, Guarantees Type Safety, Software Engineering, Type Safety