Fully abstract semantics of additive aspects by translation

stract Semantics of Additive Aspects by Translation S. B. Sanjabi C.-H. L. Ong Oxford University Computing Laboratory We study the denotational semantics of an aspect calculus by compositional translation to a functional language with higher-order store and ML-style references. The calculus is designed to construct only "additive" aspects i.e. those that do not elide the execution of the base computation. Such an aspect calculus is sufficiently expressive to encode before(), after() and around() advice which calls proceed(). We prove that our translation is adequate i.e. it reflects observational equivalence. Further if a standard object-oriented view of labels is adopted, the translation is fully abstract i.e. it preserves and reflects observational equivalence. A pleasing consequence is that full abstraction of the targetlanguage semantics is thereby inherited by the source-language semantics. This yields the first fully abstract game model for a functional language of add...

• Type: Conference
• Year: 2007
• Where: AOSD
• Authors: S. B. Sanjabi, C.-H. Luke Ong
• Keywords: Additive Aspects, AOSD 2007, Aspect Calculus, Semantics, Software Engineering