Modular Reasoning in Aspect-Oriented Languages from a Substitution Perspective

Tim Molderez, Dirk Janssens. Modular Reasoning in Aspect-Oriented Languages from a Substitution Perspective. Transactions on Aspect-Oriented Software Development, 12:3-59, 2015. [doi]

Abstract

Abstract is missing.