10.6084/m9.figshare.1477876.v1
Tim Molderez
Tim
Molderez
Dirk Janssens
Dirk
Janssens
Modular Reasoning in Aspect-Oriented Languages
figshare
2015
modular reasoning
aspect-oriented programming
design by contract
Software Engineering
2015-07-09 09:59:32
Dataset
https://figshare.com/articles/dataset/Modular_Reasoning_in_Aspect_Oriented_Languages/1477876
<p>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.</p>
<p>Presented at SATToSE'15.</p>