@inproceedings {Molderez:2012:DCA:2162010.2162015, title = {Design by Contract for Aspects, by Aspects}, journal = {Proceedings of the eleventh workshop on Foundations of Aspect-Oriented Languages}, year = {2012}, note = {Errata: - Near the end of Sec. 4, when explaining the adv-around rule: "The advice{\textquoteright}s precondition is first checked; we then check whether the precondition is equal or weaker than the static type{\textquoteright}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)}, pages = {9{\textendash}14}, publisher = {ACM}, address = {New York, NY, USA}, keywords = {aspect-oriented programming, run-time contract enforcement, substitutability}, isbn = {978-1-4503-1099-4}, doi = {10.1145/2162010.2162015}, url = {http://doi.acm.org/10.1145/2162010.2162015}, author = {Molderez, Tim and Dirk Janssens} }