Abstract
We give an introduction to aspect-oriented programming from the viewpoint of data refinement. Some data refinements are conveniently expressed via aspects. Unlike traditional programming language features for data refinement, aspects conceptually transform run-time events, not compile-time programs.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Morgan, C.: Programming from Specifications, 2nd edn. International Series in Computer Science. Prentice Hall, Englewood Cliffs (1994), http://users.comlab.ox.ac.uk/carroll.morgan/PfS/
Paige, R.: Programming with invariants. IEEE Software 3(1), 56–69 (1986)
Gries, D., Volpano, D.M.: The transform—a new language construct. Structured Programming 11(1), 1–10 (1990)
Liu, Y.A., Stoller, S.D., Gorbovitski, M., Rothamel, T., Liu, Y.E.: Incrementalization across object abstraction. In: Proc. of 20th Ann. ACM SIGPLAN Int. Conf. on Object-Oriented Programming, Systems, Languages and Applications, OOPSLA 2005, pp. 473–486. ACM Press, New York (2005)
Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C.V., Loingtier, J.-M., Irwin, J.: Aspect-oriented programming. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol. 1241, pp. 220–242. Springer, Heidelberg (1997)
Masuhara, H., Kiczales, G., Dutchyn, C.: A compilation and optimization model for aspect-oriented programs. In: Hedin, G. (ed.) CC 2003. LNCS, vol. 2622, pp. 46–60. Springer, Heidelberg (2003)
Kiczales, G., Hilsdale, E., Hugunin, J., Kersten, M., Palm, J., Griswold, W.G.: An overview of AspectJ. In: Knudsen, J.L. (ed.) ECOOP 2001. LNCS, vol. 2072, pp. 327–353. Springer, Heidelberg (2001)
Avgustinov, P., Christensen, A.S., Hendren, L., Kuzins, S., LhotĂ¡k, J., LhotĂ¡k, O., de Moor, O., Sereni, D., Sittampalam, G., Tibble, J.: Optimising AspectJ. In: Proc. of ACM SIGPLAN 2005 Conf. on Programming Language Design and Implementation, PLDI 2005, pp. 117–128. ACM Press, New York (2005)
abc: The AspectBench Compiler. Home page with downloads, FAQ, documentation, support mailing lists, and bug database, http://aspectbench.org/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Avgustinov, P. et al. (2006). Aspects and Data Refinement. In: Uustalu, T. (eds) Mathematics of Program Construction. MPC 2006. Lecture Notes in Computer Science, vol 4014. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11783596_3
Download citation
DOI: https://doi.org/10.1007/11783596_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-35631-8
Online ISBN: 978-3-540-35632-5
eBook Packages: Computer ScienceComputer Science (R0)