Research summary - Modular reasoning in aspect-oriented languages

This presentation gives an overview of my PhD research; its main goal is to provide an approach to modular reasoning in aspect-oriented programming languages. This approach consists of two parts: First, the advice substition principle allows for modular reasoning while preserving the notion of obliviousness. Second, in those cases where it is impossible remain oblivious of an aspect, a simple specification clause is used to become aware of its existence. We've shown that this approach is sound, and provide tools to enforce this approach at runtime.