Aspects and Data Refinement (Extended Abstract)

We give an introduction to aspect-oriented programming from the viewpoint of data refinement. Some data refinements are conve- niently expressed via aspects. Unlike traditional programming language features for data refinement, aspects conceptually transform run-time events, not compile-time programs.

[1]  Cristina V. Lopes,et al.  Aspect-oriented programming , 1999, ECOOP Workshops.

[2]  Carroll Morgan,et al.  Programming from specifications , 1990, Prentice Hall International Series in computer science.

[3]  Hidehiko Masuhara,et al.  A Compilation and Optimization Model for Aspect-Oriented Programs , 2003, CC.

[4]  Ondrej Lhoták,et al.  Optimising aspectJ , 2005, PLDI '05.

[5]  William G. Griswold,et al.  An Overview of AspectJ , 2001, ECOOP.

[6]  Dennis M. Volpano,et al.  The Transform - a New Language Construct , 1990, Struct. Program..

[7]  Yanhong A. Liu,et al.  Incrementalization across object abstraction , 2005, OOPSLA '05.

[8]  Robert Paige,et al.  Programming with Invariants , 1986, IEEE Software.