Design by Contract for Aspects, by Aspects

Title	Design by Contract for Aspects, by Aspects
Publication Type	Workshop Paper
Authors	Molderez, T, Janssens D
Workshop Name	Proceedings of the eleventh workshop on Foundations of Aspect-Oriented Languages
Publisher	ACM
Place Published	New York, NY, USA
Year of Publication	2012
Keywords	aspect-oriented programming, run-time contract enforcement, substitutability
URL	http://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 ﬁrst 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)
DOI	10.1145/2162010.2162015

Last modified: Fri, 2012-03-30 00:11