论文信息 - Translucid contracts for modular reasoning about aspect-oriented programs

Translucid contracts for modular reasoning about aspect-oriented programs

Several proposals have advocated notion of aspect-oriented (AO) interfaces to solve modular reasoning problems, but have not shown how to specify these interfaces to facilitate modular reasoning. Our work on translucid contracts shows how to specify AO interfaces which allow modular understanding and enforcement of control flow interactions.

Gary T. Leavens | Hridesh Rajan | Mehdi Bagherzadeh | Sean L. Mooney

[1] Jonathan Aldrich,et al. Open Modules: Modular Reasoning About Advice , 2005, ECOOP.

[2] Yuanyuan Song,et al. Modular aspect-oriented design with XPIs , 2010, ACM Trans. Softw. Eng. Methodol..

[3] G. Kiczales,et al. Aspect-oriented programming and modular reasoning , 2005, Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005..

[4] Gary T. Leavens,et al. MiniMAO1: Investigating the Semantics of Proceed , 2005 .

[5] Gary T. Leavens,et al. Investigating the Semantics of Proceed , 2005 .

[6] Gary T. Leavens,et al. Translucid contracts: expressive specification and modular verification for aspect-oriented interfaces , 2011, AOSD '11.

[7] Gary T. Leavens,et al. Ptolemy: A Language with Quantified, Typed Events , 2008, ECOOP.

[8] Jianjun Zhao,et al. Pipa: A Behavioral Interface Specification Language for AspectJ , 2003, FASE.

[9] Gary T. Leavens,et al. Translucid Contracts for Aspect-oriented Interfaces , 2009 .