JavaScript is widely used to build increasingly complex Web applications. Unsurprisingly,
these applications need to address cross-cutting concerns. Therefore support for aspect …

In current aspect-oriented systems, aspects usually carry, through their pointcuts, explicit
references to the base code. Those references are fragile and hinder important software …

This article defines AspectML, a typed functional, aspect-oriented programming language.
The main contribution of AspectML is the seamless integration of polymorphism, run-time …

AspectJ was designed as a seamless aspect-oriented extension of the Java programming
language. However, unlike Java, AspectJ does not have a safe type system: an accepted …

We study the incorporation of generic types in aspect languages. Since advice acts like
method update, such a study has to accommodate the subtleties of the interaction of classes …

Aspect Oriented Programming can arbitrarily distort the semantics of programs. In particular,
weaving can invalidate crucial safety and liveness propertiesof the base program. In this …

Incremental Programming (IP) is a programming style in which new program components
are defined as increments of other components. Examples of IP mechanisms include Object …

We describe semantic map**s of four high-level programming languages to our
delegation-based machine model for aspect-oriented programming. One of the languages is …

This paper defines PolyAML, a typed functional, aspect-oriented programming language.
The main contribution of PolyAML is the seamless integration of polymorphism, run-time …

Some security concerns are sensitive to flow of information in a program execution. The
dataflow pointcut has been proposed by Masuhara and Kawauchi in order to easily …