Skip to main content
SpringerLink
Log in

Aspects and Data Refinement

  • Conference paper
Mathematics of Program Construction (MPC 2006)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 4014))

Included in the following conference series:

  • 484 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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/

    MATH  Google Scholar 

  2. Paige, R.: Programming with invariants. IEEE Software 3(1), 56–69 (1986)

    Article  Google Scholar 

  3. Gries, D., Volpano, D.M.: The transform—a new language construct. Structured Programming 11(1), 1–10 (1990)

    Google Scholar 

  4. 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)

    Chapter  Google Scholar 

  5. 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)

    Chapter  Google Scholar 

  6. 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)

    Chapter  Google Scholar 

  7. 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)

    Chapter  Google Scholar 

  8. 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)

    Chapter  Google Scholar 

  9. abc: The AspectBench Compiler. Home page with downloads, FAQ, documentation, support mailing lists, and bug database, http://aspectbench.org/

Download references

Author information

Authors and Affiliations

  1. Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford, OX1 3QD, United Kingdom

    Pavel Avgustinov, Elnar Hajiyev, Oege de Moor, Neil Ongkingco, Damien Sereni, Ganesh Sittampalam & Julian Tibble

  2. School of Computer Science, McGill University, Montréal, Québec, H3A 2A7, Canada

    Eric Bodden

Authors
  1. Pavel Avgustinov
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Eric Bodden
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Elnar Hajiyev
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Oege de Moor
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Neil Ongkingco
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Damien Sereni
    View author publications

    You can also search for this author in PubMed Google Scholar

  7. Ganesh Sittampalam
    View author publications

    You can also search for this author in PubMed Google Scholar

  8. Julian Tibble
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute of Cybernetics at Tallinn University of Technology, Akadeemia tee 21, EE-12618, Tallinn, Estonia

    Tarmo Uustalu

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics

Search

Navigation