Denotational semantics: a methodology for language development
Denotational semantics: a methodology for language development
Communications of the ACM
A formal semantics of patterns in XSLT and XPath
Markup Languages
ICFP '03 Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
A semantics for advice and dynamic join points in aspect-oriented programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
Fundamentals of Database Systems, Fourth Edition
Fundamentals of Database Systems, Fourth Edition
Semantics of static pointcuts in aspectJ
Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Orthogonal persistence and AOP: a balancing act
Proceedings of the 6th workshop on Aspects, components, and patterns for infrastructure software
Aspect-oriented programming: selecting and exposing object paths
SC'07 Proceedings of the 6th international conference on Software composition
Hi-index | 0.00 |
In aspect-oriented programming (AOP), the join point selection depends heavily on the context exposed to aspects by means of special pointcut constructs. This context is either local to the join point (e.g. target of method calls) or non-local (e.g. call-stack). Path expression pointcut (PEP) is a special kind of pointcut that provides aspects with the access to non-local object information. In order to implement PEP, a well-defined unambiguous semantics for PEP is needed. This paper proposes a denotational semantics for PEP, which unambiguously describes the result of evaluating the PEP. Moreover, it helps to guide future developments of the PEP and its integration with AOP system.