Modular Reasoning in Aspect-Oriented Languages (PhD defense presentation)
Academic presentations can be uploaded in their original slide format. Presentations are usually represented as slide decks. Videos of presentations can be uploaded as media.
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