NSF supports balancing expressiveness and modular reasoning in aspect-oriented programming

August 15, 2010

The National Science Foundation is supporting a collaborative project on balancing expressiveness and modular reasoning in aspect-oriented programming. Aspect-oriented features make some designs far more expressive, but they can also make a program harder to reason about one piece at a time.

The project develops language features and interfaces that keep both goals in view, so that expressiveness does not come at the cost of modular reasoning.

This work is part of Modularity and Modular Reasoning. Details are on the NSF award page.