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
PublisherACM
Place PublishedNew York, NY, USA
Year of Publication2012
Keywordsaspect-oriented programming, run-time contract enforcement, substitutability
URLhttp://doi.acm.org/10.1145/2162010.2162015
Notes

Errata:

- 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)

DOI10.1145/2162010.2162015