Research summary.pptx (682.11 kB)

Research summary - Modular reasoning in aspect-oriented languages

Download (0 kB)
presentation
posted on 19.07.2014 by Tim Molderez

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.

History

Licence

Exports

Licence

Exports