Modular Reasoning in Aspect-Oriented Languages (PhD defense presentation)

2014-10-13T16:31:22Z (GMT) by Tim Molderez

This PhD defense presentation presents a two-part approach that enables modular reasoning in aspect-oriented programming languages.

The full thesis text is available at: http://dx.doi.org/10.6084/m9.figshare.1202239