Datalog as a pointcut language in aspect-oriented programming

Authors:
Elnar Hajiyev;Neil Ongkingco;Pavel Avgustinov;Oege de Moor;Damien Sereni;Julian Tibble;Mathieu Verbaere
Affiliations:
Oxford University, United Kingdom;Oxford University, United Kingdom;Oxford University, United Kingdom;Oxford University, United Kingdom;Oxford University, United Kingdom;Oxford University, United Kingdom;Oxford University, United Kingdom
Venue:
Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications
Year:
2006

Citing 6
Cited 2

Logic and Data Bases

Logic and Data Bases
Arranging language features for more robust pattern-based crosscuts

Proceedings of the 2nd international conference on Aspect-oriented software development
Meta-programming with Concrete Object Syntax

GPCE '02 Proceedings of the 1st ACM SIGPLAN/SIGSOFT conference on Generative Programming and Component Engineering
An Overview of AspectJ

ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
JQuery: finding your way through tangled code

OOPSLA '04 Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
CodeQuest: scalable source code queries with datalog

ECOOP'06 Proceedings of the 20th European conference on Object-Oriented Programming

Mechanization of invasive software composition in F-logic

CEA'07 Proceedings of the 2007 annual Conference on International Conference on Computer Engineering and Applications
Typed Datalog

PADL '09 Proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages

Quantified Score

Hi-index	0.00

Visualization

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.