Modular Reasoning.pdf (1.4 MB)
0/0

Modular Reasoning in Aspect-Oriented Languages

Download (0 kB)
dataset
posted on 09.07.2015 by Tim Molderez, Dirk Janssens

Aspect-oriented programming aims to separate crosscutting concerns into their own modules, called aspects. While aspects can achieve this at a syntactic level, this is done at the expense of modular reasoning: Whenever a method call is made, all aspects should be inspected to determine whether or not that call's behaviour will be affected by an aspect. To restore modular reasoning, we present a two-part approach that does not affect the programming language itself, but rather governs how to write contracts for aspect-oriented programs.

Presented at SATToSE'15.

History

Licence

Exports

Licence

Exports