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>