Research summary - Modular reasoning in aspect-oriented languages
Academic presentations can be uploaded in their original slide format. Presentations are usually represented as slide decks. Videos of presentations can be uploaded as media.
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.