.QL: Object-Oriented Queries Made Easy (2008)
Oege De Moor, Damien Sereni, Mathieu Verbaere, Elnar Hajiyev, Pavel Avgustinov, Torbjörn Ekman, ...
Abstract. These notes are an introduction to.QL, an object-oriented query language for any type of structured data. We illustrate the use of.QL in assessing software quality, namely to find bugs, to...
ABSTRACT abc: An extensible AspectJ compiler ∗ (2008)
Pavel Avgustinov, Aske Simon Christensen, Laurie Hendren, Sascha Kuzins, Jennifer Lhoták, Oege De Moor, ...
Research in the design of aspect-oriented programming languages requires a workbench that facilitates easy experimentation with new language features and implementation techniques. In particular, new...
Aac Chris Allan, Pavel Avgustinov, Aske Simon Christensen, Bruno Dufour, Christopher Goard, Laurie Hendren, ...
compiler for AspectJ – a workbench for aspect-oriented programming language and compilers research. In OOPSLA ’05:
On the Semantics of Matching Trace Monitoring Patterns (2008)
Pavel Avgustinov, Julian Tibble, Oege De Moor
Abstract. Trace monitor specifications consist of a pattern that is matched against the trace of events of a subject system. We investigate the design choices in defining the semantics of matching...
Aspects and Data Refinement ⋆ (2008)
Pavel Avgustinov, Eric Bodden, Elnar Hajiyev, Oege De Moor, Neil Ongkingco, Damien Sereni, ...
Abstract. We give an introduction to aspect-oriented programming from the viewpoint of data refinement. Some data refinements are conveniently expressed via aspects. Unlike traditional programming...
Datalog as a Pointcut Language in Aspect-Oriented Programming (2008)
Elnar Hajiyev, Neil Ongkingco, Pavel Avgustinov, Oege De Moor, Damien Sereni, Julian Tibble, ...
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,...
On the Semantics of Matching Trace Monitoring Patterns (2008)
Pavel Avgustinov, Oege Moor, Julian Tibble
Many runtime verification properties can be expressed as a pattern that is matched against the trace of runtime events. In our previous work on so-called tracematches, the pattern language consists...
Optimising Aspectj, Pavel Avgustinov, Aske Simon Christensen, Laurie Hendren, Sascha Kuzins, Jennifer Lhoták, ...
AspectJ, an aspect-oriented extension of Java, is becoming increasingly popular. However, not much work has been directed at optimising compilers for AspectJ. Optimising AOP languages provides many...
Keynote Address:.QL for Source Code Analysis Oege de Moor, Mathieu Verbaere, Elnar Hajiyev, (2008)
Pavel Avgustinov, Torbjörn Ekman, Neil Ongkingco, Damien Sereni, Julian Tibble
Many tasks in source code analysis can be viewed as evaluating queries over a relational representation of the code. Here we present an object-oriented query language, named.QL, and demonstrate its...
Pavel Avgustinov Aske, Optimising Aspectj, Pavel Avgustinov, Aske Simon Christensen, Laurie Hendren, Sascha Kuzins, ...
AspectJ, an aspect-oriented extension of Java, is becoming increasingly popular. However, not much work has been directed at optimising compilers for AspectJ. Optimising AOP languages provides many...
Making trace monitors feasible (2007)
Pavel Avgustinov, Julian Tibble, Oege Moor
A trace monitor observes an execution trace at runtime; when it recognises a specified sequence of events, the monitor runs extra code. In the aspect-oriented programming community, the idea...
Semantics of static pointcuts in AspectJ (2007)
Pavel Avgustinov, Elnar Hajiyev, Neil Ongkingco, Oege Moor, Damien Sereni, Julian Tibble, ...
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...
Efficient trace monitoring (2006)
Pavel Avgustinov, Eric Bodden, Elnar Hajiyev, Laurie Hendren, Oege De Moor, Neil Ongkingco, ...
Abstract. A trace monitor observes the sequence of events in a system, and takes appropriate action when a given pattern occurs in that sequence. Aspect-oriented programming provides a convenient...
Efficient Trace Monitoring (2006)
Pavel Avgustinov, Julian Tibble, Eric Bodden, Ondrej Lhotak, Laurie Hendren, Oege De Moor, ...
A trace monitor observes the sequence of actions in a software system, and when it detects that this sequence matches a given pattern, it executes some extra code of its own. Trace monitors are often...
Adding Open Modules to AspectJ (2006)
Neil Ongkingco Pavel, Pavel Avgustinov, Julian Tibble, Laurie Hendren, Oege De Moor, Ganesh Sittampalam
AspectJ does not provide a mechanism to hide implementation details from advice. As a result, aspects are tightly coupled to the implementation of the code they advise, while the behaviour of the...
Efficient trace monitoring (2006)
Pavel Avgustinov, Eric Bodden, Elnar Hajiyev, Laurie Hendren, Oege De Moor, Damien Sereni, ...
Abstract. A trace monitor observes the sequence of events in a system, and takes appropriate action when a given pattern occurs in that sequence. Aspect-oriented programming provides a convenient...
Adding Trace Matching with Free Variables to AspectJ (2005)
Chris Allan, Pavel Avgustinov, Aske Simon Christensen, Laurie Hendren, Sascha Kuzins, Oege De Moor, ...
An aspect observes the execution of a base program; when certain actions occur, the aspect runs some extra code of its own. In the AspectJ language, the observations that an aspect can make are...
Adding Open Modules, Neil Ongkingco, Pavel Avgustinov, Julian Tibble, Laurie Hendren, Oege De Moor, ...
AspectJ does not provide a mechanism to hide implementation details from advice. As a result, aspects are tightly coupled to the implementation of the code they advise, while the behaviour of the...
abc: An extensible AspectJ compiler (2005)
Pavel Avgustinov, Aske Simon Christensen, Laurie Hendren, Sascha Kuzins, Ondrej Lhotak, Oege De Moor, ...
Research in the design of aspect-oriented programming languages requires a workbench that facilitates easy experimentation with new language features and implementation techniques. In particular, new...
Adding Trace Matching, Chris Allan, Pavel Avgustinov, Aske Simon Christensen, Laurie Hendren, Sascha Kuzins, ...
An aspect observes the execution of a base program; when certain actions occur, the aspect runs some extra code of its own. In the AspectJ language, the observations that an aspect can make are...
Adding Trace Matching with Free Variables to AspectJ (2005)
Chris Allan Pavel, Chris Allan, Pavel Avgustinov, Aske Simon Christensen, Laurie Hendren, Sascha Kuzins, ...
An aspect observes the execution of a base program; when certain actions occur, the aspect runs some extra code of its own. In the AspectJ language, the observations that an aspect can make are...
abc : An extensible AspectJ compiler (2005)
Pavel Avgustinov Aske, Pavel Avgustinov, Aske Simon Christensen, Laurie Hendren, Sascha Kuzins, Jennifer Lhoták, ...
Research in the design of aspect-oriented programming languages requires a workbench that facilitates easy experimentation with new language features and implementation techniques. In particular, new...
3.1 Definition of Traces.......................................... 14 (2005)
Chris Allan, Pavel Avgustinov, Aske Simon Christensen, Laurie Hendren, Sascha Kuzins, Oege De Moor, ...
Pavel Avgustinov, Aske Simon Christensen, Laurie Hendren, Sascha Kuzins, Jennifer Lhoták, Oege De Moor, ...
2 An overview of AspectJ 4
Optimising Aspectj, Pavel Avgustinov, Aske Simon Christensen, Laurie Hendren, Sascha Kuzins, ...
AspectJ, an aspect-oriented extension of Java, is becoming increasingly popular. However, not much work has been directed at optimising compilers for AspectJ. Optimising AOP languages provides many...
abc: An extensible AspectJ compiler (2004)
Pavel Avgustinov, Aske Simon Christensen, Laurie Hendren, Sascha Kuzins, Jennifer Lhoták, ...
Research in the design of aspect-oriented programming languages requires a workbench that facilitates easy experimentation with new language features and implementation techniques. In particular, new...
Building the abc AspectJ compiler with Polyglot and Soot (2004)
Pavel Avgustinov, Aske Simon Christensen, Laurie Hendren, Sascha Kuzins, Jennifer Lhoták, ...
Aspect-oriented programming and the development of aspect-oriented languages is rapidly gaining momentum, and the advent of this new kind of programming language provides interesting challenges for...
Building The Abc, Pavel Avgustinov, Aske Simon Christensen, Laurie Hendren, Sascha Kuzins, Jennifer Lhoták, ...
Aspect-oriented programming and the development of aspect-oriented languages are rapidly gaining momentum, and the advent of this new kind of programming language provides interesting challenges for...