Aspect-oriented programming languages usually are extensions of object-oriented ones, and their compilation target is usually
the (virtual) machine model of the language they extend. While that model elegantly supports core object-oriented languagemechanisms such as virtual method dispatch, it provides no direct support for core aspect-oriented language mechanisms suchas advice application. Hence, current implementations of aspect-oriented languages bring about insufficient and inelegantsolutions. This paper introduces a lightweight, object-based machine model for aspect-oriented languages based on object-orientedones. It is centered around delegation and relies on a very dynamic notion of join points as loci of late-bound dispatch offunctionality. The model is shown to naturally support an important number of aspect-oriented language mechanisms. Additionally,a formal semantics is presented as an extension to the object-based δ calculus.
%0 Journal Article
%1 MDSOCKernel
%A Haupt, Michael
%A Schippers, Hans
%D 2007
%J ECOOP 2007 – Object-Oriented Programming
%K PhD Proposal RelatedWork VM aspect-oriented
%P 501--524
%T A Machine Model for Aspect-Oriented Programming
%U http://dx.doi.org/10.1007/978-3-540-73589-2_24
%X Aspect-oriented programming languages usually are extensions of object-oriented ones, and their compilation target is usually
the (virtual) machine model of the language they extend. While that model elegantly supports core object-oriented languagemechanisms such as virtual method dispatch, it provides no direct support for core aspect-oriented language mechanisms suchas advice application. Hence, current implementations of aspect-oriented languages bring about insufficient and inelegantsolutions. This paper introduces a lightweight, object-based machine model for aspect-oriented languages based on object-orientedones. It is centered around delegation and relies on a very dynamic notion of join points as loci of late-bound dispatch offunctionality. The model is shown to naturally support an important number of aspect-oriented language mechanisms. Additionally,a formal semantics is presented as an extension to the object-based δ calculus.
@article{MDSOCKernel,
abstract = {Aspect-oriented programming languages usually are extensions of object-oriented ones, and their compilation target is usually
the (virtual) machine model of the language they extend. While that model elegantly supports core object-oriented languagemechanisms such as virtual method dispatch, it provides no direct support for core aspect-oriented language mechanisms suchas advice application. Hence, current implementations of aspect-oriented languages bring about insufficient and inelegantsolutions. This paper introduces a lightweight, object-based machine model for aspect-oriented languages based on object-orientedones. It is centered around delegation and relies on a very dynamic notion of join points as loci of late-bound dispatch offunctionality. The model is shown to naturally support an important number of aspect-oriented language mechanisms. Additionally,a formal semantics is presented as an extension to the object-based δ calculus.},
added-at = {2008-09-07T20:06:51.000+0200},
author = {Haupt, Michael and Schippers, Hans},
biburl = {https://www.bibsonomy.org/bibtex/212b4c92573d2823684dca9098a7bcff0/gron},
description = {SpringerLink - Buchkapitel},
interhash = {799fe5e1a89e9ce665e4e62d9045409d},
intrahash = {12b4c92573d2823684dca9098a7bcff0},
journal = {ECOOP 2007 – Object-Oriented Programming},
keywords = {PhD Proposal RelatedWork VM aspect-oriented},
pages = {501--524},
timestamp = {2008-09-07T20:06:51.000+0200},
title = {A Machine Model for Aspect-Oriented Programming},
url = {http://dx.doi.org/10.1007/978-3-540-73589-2_24},
year = 2007
}