A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
A Semantics for Advice and Dynamic Join Points in Aspect-Oriented Programming
[chapter]
2001
Lecture Notes in Computer Science
Preserved Fulltext
This is the first semantics for aspect-oriented programming that handles dynamic join points and recursive procedures. ...
We give a denotational semantics for a minilanguage that embodies the key features of dynamic join points, pointcut designators, and advice. ...
We plan to extend the ASB suite by adding implementations of the core concepts of other models of AOP and weaving, including static join points, Demeter [14] , and Hyper/J [16] . ...
doi:10.1007/3-540-44806-3_3
fatcat:vvtjutbvsnhxniir737dtili7e
A semantics for advice and dynamic join points in aspect-oriented programming
2004
ACM Transactions on Programming Languages and Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
This is the first semantics for aspect-oriented programming that handles dynamic join points and recursive procedures. ...
We give a denotational semantics for a minilanguage that embodies the key features of dynamic join points, pointcuts, and advice. ...
This is the first semantics for aspect-oriented programming that handles dynamic join points and recursive procedures. ...
doi:10.1145/1018203.1018208
fatcat:3azwrklh4rartpnbdz4wquwoxq
The art of the meta-aspect protocol
2009
Proceedings of the 8th ACM international conference on Aspect-oriented software development - AOSD '09
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We demonstrate the benefits of such an architecture by presenting several scenarios in which aspect-oriented programs use the meta-interface of the language to tailor its semantics to a particular application ...
Alternative semantics for aspect-oriented abstractions can be defined by language designers using extensible aspect compiler frameworks. ...
We would like to thank Michael Eichberg, Vaidas Gasiunas, and Martin Monperrus for valuable discussions and the anonymous reviewers for their comments. ...
doi:10.1145/1509239.1509248
dblp:conf/aosd/DinkelakerMB09
fatcat:jukpk34b4ng6vp3pt2qvahyl2y
Specializing continuations a model for dynamic join points
2007
Proceedings of the 6th workshop on Foundations of aspect-oriented languages - FOAL '07
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
Dynamic join points develop in a principled and natural way as activations of continuation frames. ...
By modeling dynamic join points, pointcuts, and advice in a defunctionalized continuation-passing style interpreter, we provide a fundamental account of these AOP mechanisms. ...
We give a formal model of dynamic join points, pointcuts, and advice built on the well-understood processes of conversion to continuation-passing-style, and defunctionalization. ...
doi:10.1145/1233833.1233840
dblp:conf/foal/Dutchyn06
fatcat:gxiaujnr4berrftuntekpubmky
A UML-based aspect-oriented design notation for AspectJ
2002
Proceedings of the 1st international conference on Aspect-oriented software development - AOSD '02
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
AspectJ is a well-established programming language for the implementation of aspect-oriented programs. ...
In this work, such a design notation for AspectJ programs is presented based on the UML. ...
Join points in AspectJ are "principled points in the dynamic execution of a program" [11] [1] . ...
doi:10.1145/508397.508399
fatcat:kbvim4hsjzcabmiwp6665zjeea
Pointcuts and advice in higher-order languages
2003
Proceedings of the 2nd international conference on Aspect-oriented software development - AOSD '03
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
In particular, programmers can now define both dynamic aspects traditional to AOP and static aspects that can capture common securitycontrol paradigms. ...
In this paper, we describe the subtleties of pointcuts and advice for higher-order languages, particularly Scheme. We then resolve these subtleties by alluding to traditional notions of scope. ...
Acknowledgements Thanks to Matthias Felleisen and John Clements for discussions on this research. ...
doi:10.1145/643603.643620
dblp:conf/aosd/TuckerK03
fatcat:5665ir32erdmblcvafbg27qipm
THE DSAW ASPECT-ORIENTED SOFTWARE DEVELOPMENT PLATFORM
2011
International journal of software engineering and knowledge engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Moreover, our platform also supports a wide set of join-points and is language and platform neutral. ...
Therefore, DSAW provides the separation of the dynamism (weaving-time) concern in the aspect-oriented software development process. ...
; it has also been partially funded by the University of Oviedo, with the project entitled AOSD System to support both Dynamic and Static Weaving in a Language and Platform Neutral way, UNOV-08-MB-15. ...
doi:10.1142/s0218194011005554
fatcat:56swda23o5a2zo4ezv6jmjydy4
Semantics and scoping of aspects in higher-order languages
2006
Science of Computer Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We provide an operational semantics, based on an extended ceks machine, that gives a formal account of dynamic and static aspects. We implement the language as an extension to Scheme. ...
In this paper, we describe the subtleties of pointcuts and advice for higher-order languages, particularly Scheme. We then resolve these subtleties by alluding to traditional notions of scope. ...
We are grateful to Gregor Kiczales for his support and encouragement. We thank Clint Morgan for reporting on his experience with AspectScheme 2.0 in a course project. ...
doi:10.1016/j.scico.2006.01.003
fatcat:3i6wkpf34vctneogwblvf3vdz4
A UML-based aspect-oriented design notation for AspectJ
2002
Proceedings of the 1st international conference on Aspect-oriented software development - AOSD '02
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2003; you can also visit the original URL.
The file type is application/pdf.
Advice defines code to be executed whenever a join point of a particular set of join points is reached. ...
The design notation eases the perception of aspect-orientation and Aspect] programs. ...
Hence, ]inks in the UML represent "principled points in the dynamic execution of a program" just like join points do in AspectJ. ...
doi:10.1145/508386.508399
dblp:conf/aosd/SteinHU02
fatcat:wqy3wygoljczphye6zgbcrql3e
Special issue on foundations of aspect-oriented programming
2006
Science of Computer Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
between aspects and generics; (v) a notion of aspects for reactive systems based on synchronous languages. ...
There are 5 contributions addressing the following issues: (i) a fundamental core language for aspects; (ii) subtleties of so-called around advice; (iii) aspects in higher-order languages; (iv) the interaction ...
of aspects, advice, and join-point models. • Type systems for aspect-oriented languages. • Verification and static analysis of aspect-oriented programs. • Theory of aspect composition and aspect interactions ...
doi:10.1016/j.scico.2006.07.001
fatcat:qdobp2cxwfckbnaifplpc6u3le
A Compilation and Optimization Model for Aspect-Oriented Programs
[chapter]
2003
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
This paper presents a semantics-based compilation model for an aspect-oriented programming language based on its operational semantics. ...
Using partial evaluation, the model can explain several issues in compilation processes, including how to find places in program text to insert aspect code and how to remove unnecessary run-time checks ...
The discussion on the initial-and final-algebra representations was first pointed out by Mitchell Wand. We would also like to thank the anonymous reviewers for their comments. ...
doi:10.1007/3-540-36579-6_4
fatcat:fqxzuyuwdvek5f52ujbwybkrme
Untangling crosscutting concerns in domain-specific languages with domain-specific join points
2009
Proceedings of the 4th workshop on Domain-specific aspect languages - DSAL '09
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
This paper presents an architecture that supports aspect-oriented features for domain-specific base languages. Both base programs and advices are written in different domain-specific languages. ...
The framework relies on the concept of domain-specific join point. ...
Figure 4 : 4 A Security Aspect for ProcessDSL.
we use well-established aspect-oriented pointcut-and-advice semantics for DSLs that are similar to AspectJ [2] semantics. ...
doi:10.1145/1509307.1509309
fatcat:7ajjrbapyjbl5dk7uqcssza2ja
Towards Semantic Mutation Testing of Aspect-Oriented Programs
2013
Journal of Software Engineering and Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is application/pdf.
Recently, a new approach known as semantic mutation testing has been proposed. This approach mutates the semantics of the language in which the program is written. ...
This paper describes various possible scenarios that semantic mutation testing strategy might have particular value in testing aspect-oriented programs. ...
In AOP languages, aspects can only be invoked at well-defined points in the execution of a program. These points are called join points. ...
doi:10.4236/jsea.2013.610a002
fatcat:j4bcuqzrrvdglab52givdxq6xi
Expressive scoping of dynamically-deployed aspects
2008
Proceedings of the 7th international conference on Aspect-oriented software development - AOSD '08
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We discuss and illustrate the gain in expressiveness, and provide the operational semantics of deployment strategies with Scheme interpreters, for both functional and object-oriented based aspect languages ...
Several aspect languages and frameworks have recognized the need for dynamic deployment of aspects. ...
For very valuable input on this work and its presentation, we thank Pascal Costanza, Chris Dutchyn, Johan Fabry, Kris Gybels, Shriram Krishnamurthi, Olivier Motelet, Jacques Noyé, and Guillaume Pothier ...
doi:10.1145/1353482.1353503
dblp:conf/aosd/Tanter08
fatcat:wvrikk6tizcddkexcm2x7ps6jm
A semantics for execution levels with exceptions
2011
Proceedings of the 10th international workshop on Foundations of aspect-oriented languages - FOAL '11
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
Consequently, we propose a semantics for an aspect-oriented language with execution levels and an exception handling mechanism that solves the exception conflation problem. ...
Conflation between aspect and base exceptions and handlers may inadvertently trigger execution of unintended handlers, changing the expected program behavior: aspect exceptions are accidentally caught ...
For instance, it becomes possible to reuse off-the-shelf dynamic analysis aspects and apply them to a given program, and/or aspects, with consistent semantics [11] . ...
doi:10.1145/1960510.1960513
dblp:conf/foal/FigueroaT11
fatcat:6cb4lm3p2bckpdmrdizfpb6vsm
« Previous
Showing results 1 — 15 out of 10,916 results