Separating Obligations of Subjects and Handlers for More Flexible Event Type Verification-Reference-Cited by-同舟云学术

Separating Obligations of Subjects and Handlers for More Flexible Event Type Verification

Published:2013 Issue: Volume: Page:65-80
ISSN:0302-9743
Container-title:Software Composition
language:
Short-container-title:

Author:

Sánchez José,Leavens Gary T.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-39614-4_5

Reference16 articles.

1. Akai, S., Chiba, S.: Method shelters: avoiding conflicts among class extensions caused by local rebinding. In: AOSD ’12: Proceedings of the 11th annual international conference on Aspect-oriented Software Development, pp. 131–142. ACM Press, New York (2012)

2. Bagherzadeh, M., Rajan, H., Leavens, G.T.: Translucid contracts for aspect-oriented interfaces. In: FOAL ’10: Workshop on Foundations of Aspect-Oriented Languages workshop, March 2010, pp. 5–14 (2010)

3. Bagherzadeh, M., Rajan, H., Leavens, G.T., Mooney, S.: Translucid contracts: expressive specification and modular verification for aspect-oriented interfaces. In: Proceedings of the 10th International Conference on Aspect-oriented Software Development, AOSD ’11, pp. 141–152. ACM, New York (2011)

4. Bodden, E.: Closure Joinpoints: Block joinpoints without surprises. In: Proceedings of the 10th International Conference on Aspect-oriented Software Development, AOSD ’11, pp. 117–128. ACM, New York (2011)

5. Eric Bodden, Éric Tanter, and Milton Inostroza. Joint point interfaces for safe and flexible decoupling of aspects. ACM Transactions on Software Engineering and Methodology (TOSEM), To appear (2013)

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Reasoning tradeoffs in languages with enhanced modularity features;Proceedings of the 15th International Conference on Modularity;2016-03-14

2. Modular Reasoning in the Presence of Event Subtyping;Lecture Notes in Computer Science;2016