A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf
.
Semantics of static pointcuts in aspectJ
2007
Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '07
In aspect-oriented programming, one can intercept events by writing patterns called pointcuts. The pointcut language of the most popular aspect-oriented programming language, AspectJ, allows the expression of highly complex properties of the static program structure. We present the first rigorous semantics of the AspectJ pointcut language, by translating static patterns into safe (i.e. rangerestricted and stratified) Datalog queries. Safe Datalog is a logic language like Prolog, but it does not
doi:10.1145/1190216.1190221
dblp:conf/popl/AvgustinovHOMSTV07
fatcat:vgzeblbkibgupo22sepxkwxtva