Translucid contracts for modular reasoning about aspect-oriented programs

Authors:
Mehdi Bagherzadeh;Hridesh Rajan;Gary T. Leavens;Sean Mooney
Affiliations:
Iowa State University, Ames, IA, USA;Iowa State University, Ames, IA, USA;University of Central Florida, Orlando, FL, USA;Iowa State University, Ames, IA, USA
Venue:
Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion
Year:
2010

Citing 5
Cited 1

Aspect-oriented programming and modular reasoning

Proceedings of the 27th international conference on Software engineering
Ptolemy: A Language with Quantified, Typed Events

ECOOP '08 Proceedings of the 22nd European conference on Object-Oriented Programming
Pipa: a behavioral interface specification language for aspectJ

FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Modular aspect-oriented design with XPIs

ACM Transactions on Software Engineering and Methodology (TOSEM)
Open modules: modular reasoning about advice

ECOOP'05 Proceedings of the 19th European conference on Object-Oriented Programming

A design rule language for aspect-oriented programming

Journal of Systems and Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.