Sciweavers

28 search results - page 1 / 6
» A Semantics for Advice and Dynamic Join Points in Aspect-Ori...
Sort
View
SAIG
2001
Springer
13 years 9 months ago
A Semantics for Advice and Dynamic Join Points in Aspect-Oriented Programming
A characteristic of aspect-oriented programming, as embodied in AspectJ, is the use of advice to incrementally modify the behavior of a program. An advice declaration specifies a...
Mitchell Wand
SEFM
2006
IEEE
13 years 11 months ago
Formalizing AspectJ Weaving for Static Pointcuts
The Aspect Oriented Programming is a new programming paradigm that provides a means of encapsulation of crosscuting concerns in software. This paper describes a formal semantics o...
Nadia Belblidia, Mourad Debbabi
ECOOP
2007
Springer
13 years 11 months ago
A Machine Model for Aspect-Oriented Programming
Abstract. Aspect-oriented programming languages usually are extensions of object-oriented ones, and their compilation target is usually the (virtual) machine model of the language ...
Michael Haupt, Hans Schippers
SOCO
2010
Springer
13 years 9 months ago
An Advice for Advice Composition in AspectJ
Aspect composition often involves advice interference and this is a crucial problem in aspect oriented programming. When multiple advices are woven at the same join point, the advi...
Fuminobu Takeyama, Shigeru Chiba
SAS
2007
Springer
125views Formal Methods» more  SAS 2007»
13 years 11 months ago
A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages
Introducing aspect orientation to a polymorphically typed functional language strengthens the importance of type-scoped advices; i.e., advices with their effects being harnessed b...
Kung Chen, Shu-Chun Weng, Meng Wang, Siau-Cheng Kh...