Modular software design with crosscutting interfaces

WG Griswold, M Shonle, K Sullivan, Y Song… - IEEE …, 2006 - ieeexplore.ieee.org
Aspect-oriented programming (AOP) languages such as AspectJ offer new mechanisms and
possibilities for decomposing systems into modules and composing modules into systems …

Open modules: Modular reasoning about advice

J Aldrich - European conference on object-oriented programming, 2005 - Springer
Advice is a mechanism used by advanced object-oriented and aspect-oriented
programming languages to augment the behavior of methods in a program. Advice can help …

Harmless advice

DS Dantas, D Walker - Conference record of the 33rd ACM SIGPLAN …, 2006 - dl.acm.org
This paper defines an object-oriented language with harmless aspect-oriented advice. A
piece of harmless advice is a computation that, like ordinary aspect-oriented advice …

Modular aspect-oriented design with XPIs

K Sullivan, WG Griswold, H Rajan, Y Song… - ACM Transactions on …, 2010 - dl.acm.org
The emergence of aspect-oriented programming (AOP) languages has provided software
designers with new mechanisms and strategies for decomposing programs into modules …

AspectML: A polymorphic aspect-oriented functional programming language

DS Dantas, D Walker, G Washburn… - ACM Transactions on …, 2008 - dl.acm.org
This article defines AspectML, a typed functional, aspect-oriented programming language.
The main contribution of AspectML is the seamless integration of polymorphism, run-time …

[PDF][PDF] Open modules: A proposal for modular reasoning in aspect-oriented programming

J Aldrich - FOAL, 2004 - academia.edu
This paper makes two contributions to a formal understanding of aspect-oriented
programming. First, we define TinyAspect, a formal model capturing core AOP concepts …

Controlling the complexity of software designs

KJ Lieberherr - Proceedings. 26th International Conference on …, 2004 - ieeexplore.ieee.org
Our research has focused on identifying techniques to develop software that is amenable to
refactoring and change. The Law of Demeter (LoD) was one contribution in this effort. But it …

[PDF][PDF] Open modules: Reconciling extensibility and information hiding

J Aldrich - Proceedings of the Software Engineering Properties of …, 2004 - Citeseer
Aspect-oriented programming systems provide powerful mechanisms for separating
concerns, but understanding how these concerns interact can be challenging. In particular …

PolyAML a polymorphic aspect-oriented functional programming language

DS Dantas, D Walker, G Washburn, S Weirich - ACM SIGPLAN Notices, 2005 - dl.acm.org
This paper defines PolyAML, a typed functional, aspect-oriented programming language.
The main contribution of PolyAML is the seamless integration of polymorphism, run-time …

[PDF][PDF] A language and system for composing security policies

L Bauer, J Ligatti, D Walker - 2004 - users.ece.cmu.edu
We introduce a new language and system that allows security architects to develop well-
structured and easy-to-maintain security policies for Java applications. In our system …