Design by Contract for Aspects, by Aspects

TitleDesign by Contract for Aspects, by Aspects
Publication TypeWorkshop Paper
AuthorsMolderez, T, Janssens D
Workshop NameProceedings of the eleventh workshop on Foundations of Aspect-Oriented Languages
Place PublishedNew York, NY, USA
Year of Publication2012
Keywordsaspect-oriented programming, run-time contract enforcement, substitutability


- Near the end of Sec. 4, when explaining the adv-around rule: "The advice’s precondition is first checked; we then check whether the precondition is equal or weaker than the static type’s (t") precondition."
This should be the opposite order: The precondition of t" is checked before that of t. (which is shown correctly in Fig. 3)