Phd-Defense-TM.pptx (7.19 MB)
Modular Reasoning in Aspect-Oriented Languages (PhD defense presentation)
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