Taming Obliviousness in Aspects with Data-flow Analysis and Design by Contract
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 a brief overview of my Phd research, which aims to detect undesired behaviour caused by aspects. This problem is approached from two different angles: First, data-flow analysis is used to detect the interactions of an aspect with other modules. Second, design by contract is used to specify the desired behaviour of aspects. Detecting undesired behaviour now comes down to checking which aspect interactions cause contract violations in advised modules.
Presented at the Benevol 2012 symposium.