Taming aspects with monads and membranes
Ismael Figueroa, Nicolas Tabareau, Éric Tanter · 2013
When a software system is developed using several aspects, special care must be taken to ensure that the resulting behavior is correct. This is known as the aspect interference problem, and existing approaches essentially aim to detect whether a system exhibits problematic interferences of aspects.