Fully abstract semantics of additive aspects by translation

  title={Fully abstract semantics of additive aspects by translation},
  author={S. B. Sanjabi and C.-H. Luke Ong},
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 () exactly once. We prove that our translation is adequate i.e. it reflects… CONTINUE READING
Highly Cited
This paper has 18 citations. REVIEW CITATIONS


Publications referenced by this paper.
Showing 1-4 of 4 references

A theory of aspects

  • D.Walker, S.Zdancewic, J.Ligatti
  • In Proceedings of the 8th ACM SIGPLAN…
  • 2003
Highly Influential
7 Excerpts

The essence of Algol

  • J. C. Reynolds
  • Algorithmic Languages,
  • 1978
Highly Influential
3 Excerpts

Similar Papers

Loading similar papers…