Delegation-based semantics for modularizing crosscutting concerns

  • Authors:

  • Hans Schippers;Dirk Janssens;Michael Haupt;Robert Hirschfeld

  • Affiliations:

  • University of Antwerp, Antwerp, Belgium;University of Antwerp, Antwerp, Belgium;Hasso-Plattner-Institut, University of Potsdam, Potsdam, Germany;Hasso-Plattner-Institut, University of Potsdam, Potsdam, Germany

  • Venue:
  • Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

We describe semantic mappings of four high-level programming languages to our delegation-based machine model for aspect-oriented programming. One of the languages is a class-based object-oriented one. The other three represent extensions thereof that support various approaches to modularizing crosscutting concerns. We explain informally that an operational semantics expressed in terms of the model's concepts preserves the behavior of a program written in one of the high-level languages. We hence argue our model to be semantically sound in that sense, as well as sufficiently expressive in order to correctly support features such as class-based object-oriented programming, the open-classes and pointcut-and-advice flavors of aspect-oriented programming, and dynamic layers. For the latter, being a core feature of context-oriented programming, we also provide a formal semantics.