Sciweavers

AOSD
2007
ACM

Fully abstract semantics of additive aspects by translation

14 years 1 months ago
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...
S. B. Sanjabi, C.-H. Luke Ong
Added 12 Aug 2010
Updated 12 Aug 2010
Type Conference
Year 2007
Where AOSD
Authors S. B. Sanjabi, C.-H. Luke Ong
Comments (0)