The incrementally modular abstraction hierarchy, which is a general development method based on modern mathematics, is applied to a computer game implemented by using functional reactive programming ...

While this may seem anti-modular, it is an inherent property of crosscutting concerns, and using aspect-oriented programming enables modular reasoning in the presence of such concerns.