.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:
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,...
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...
Abstract Static Analysis of Aspects (2007)
Aspects are a novel programming language feature, to express concerns in program design that crosscut traditional abstraction boundaries. Aspects are specified as pointcut designators (patterns in...
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, 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...
Termination Analysis of Higher-Order Functional Programs (2005)
This thesis concerns fully automatic termination analysis for higher-order purely functional programs, both strict and lazy. We build on existing work on size-change termination, in which a program...
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...
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...