Molderez, Tim Research summary - Modular reasoning in aspect-oriented languages <p>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.</p> aspect-oriented programming;design by contract;frame inference;modular reasoning;Theoretical Computer Science 2014-07-19
    https://figshare.com/articles/presentation/Research_summary_Modular_reasoning_in_aspect_oriented_languages/1111479
10.6084/m9.figshare.1111479.v1