Concept Programming vs. Aspects

Aspects are a way to deal with crosscutting concerns in programs, such as debugging, security, and other "policies". Contrary to more traditional programming tools, aspects are often non local in nature, applying to multiple locations in the code at once.

Aspects as Concepts

Despite their non-local nature, aspects often represent genuine concepts of the application domain. Therefore, aspects are really compatible with the concept programming philosophy. Additionally, aspects capture concepts that are not well represented by most other programming concepts. By increasing our "vocabulary", aspects are a valuable addition to the concept programming toolbox.

Implementing Aspects using Concept Programming Tools

Several of the Mozart thin tools deal with aspect-style cross-cutting concerns, by implementing "non-local concepts" such as invariants or conditional code removal. With little effort, specific features of Java language extensions such as AspectJ could also be implemented using Moka.