Mathieu Verbaere

Publication List Details

Period

2003 - 2008

Number

12

Co-Authors

.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 CodeQuest: Querying Source Code with DataLog (2008)

Elnar Hajiyev, Mathieu Verbaere, Oege De Moor, Kris De Volder

We describe CodeQuest, a system for querying source code. It combines two previous proposals, namely the use of logic programming and database system. Experiments (on projects ranging from 3KSLOC to...

ABSTRACT JunGL: a Scripting Language for Refactoring (2008)

Mathieu Verbaere, Ran Ettinger, Oege De Moor

Refactorings are behaviour-preserving program transformations, typically for improving the structure of existing code. A few of these transformations have been mechanised in interactive development...

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,...

Abstract (2008)

Scripting Refactorings Jungl, Mathieu Verbaere, Arnaud Payement, Oege Moor

We describe JunGL, a language to script refactoring transformations. It manipulates a graph representation of the program, including extensible semantic information such as variable binding and...

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...

Codequest: Scalable source code queries with datalog (2006)

Elnar Hajiyev, Mathieu Verbaere, Oege De Moor

Abstract. Source code querying tools allow programmers to explore relations between different parts of the code base. This paper describes such a tool, named CodeQuest. It combines two previous...

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...

Untangling: A Slice Extraction Refactoring (2004)

Ran Ettinger, Mathieu Verbaere

Separation of concerns in existing code can be achieved by speci c refactoring techniques. Modern refactoring tools support a number of well-known refactoring transformations, including method...