• DocumentCode
    2706163
  • Title

    Aspect-oriented programming and modular reasoning

  • Author

    Kiczales, Gregor ; Mezini, Mira

  • Author_Institution
    British Columbia Univ., Vancouver, BC, Canada
  • fYear
    2005
  • fDate
    15-21 May 2005
  • Firstpage
    49
  • Lastpage
    58
  • Abstract
    Aspects cut new interfaces through the primary decomposition of a system. This implies that in the presence of aspects, the complete interface of a module can only be determined once the complete configuration of modules in the system is known. While this may seem anti-modular, it is an inherent property of crosscutting concerns, and using aspect-oriented programming enables modular reasoning in the presence of such concerns.
  • Keywords
    object-oriented programming; reasoning about programs; aspect-oriented programming; modular reasoning; Computer languages; Packaging; Permission; Shape;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Software Engineering, 2005. ICSE 2005. Proceedings. 27th International Conference on
  • Print_ISBN
    1-59593-963-2
  • Type

    conf

  • DOI
    10.1109/ICSE.2005.1553547
  • Filename
    1553547