Datalog as a pointcut language in aspect-oriented programming

ABSTRACT

AspectJ's pointcut language is complex, yet often not expressive enough to directly capture a desired property. Prolog has been suggested as an alternative, but Prolog queries may not terminate, and they tend to be verbose. We solve expressiveness, termination and verbosity by using Datalog plus rewrite rules.

REFERENCES

• 1: XSB. http://xsb.sourceforge.net/.
• 2: Herve Gallaire , Jack Minker, Logic and Data Bases, Perseus Publishing, 1978
• 3: Kris Gybels , Johan Brichau, Arranging language features for more robust pattern-based crosscuts, Proceedings of the 2nd international conference on Aspect-oriented software development, p.60-69, March 17-21, 2003, Boston, Massachusetts [doi>10.1145/643603.643610]
• 4: Elnar Hajiyev, Mathieu Verbaere, and Oege de Moor. Codequest: scalable source code queries with Datalog. In Dave Thomas, editor, Proceedings of ECOOP 2006, Lecture Notes in Computer Science. Springer, 2006.
• 5: Gregor Kiczales , Erik Hilsdale , Jim Hugunin , Mik Kersten , Jeffrey Palm , William G. Griswold, An Overview of AspectJ, Proceedings of the 15th European Conference on Object-Oriented Programming, p.327-353, June 18-22, 2001
• 6: Edward McCormick , Kris De Volder, JQuery: finding your way through tangled code, Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, October 24-28, 2004, Vancouver, BC, CANADA [doi>10.1145/1028664.1028670]
• 7: Eelco Visser, Meta-programming with Concrete Object Syntax, Proceedings of the 1st ACM SIGPLAN/SIGSOFT conference on Generative Programming and Component Engineering, p.299-315, October 06-08, 2002

INDEX TERMS

Primary Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.3 Language Constructs and Features

General Terms:
Experimentation, Languages, Performance

Keywords:
aspect-oriented programming, datalog, pointcut sematics, semantic pointcuts