New editor of Science of Computer Programming
Document Actions
Oege de Moor's publications in reverse chronological order
2008
- Efficient Local Type Inference (OOPSLA 2008)
- Sound and Extensible Renaming for Java (OOPSLA 2008)
- Type Inference for Datalog and its Application to Query Optimisation (PODS 2008)
- Adding Magic to an Optimising Datalog Compiler (SIGMOD 2008)
2007
- Making Trace Monitoring Feasible (OOPSLA 2007)
- On the Semantics of Matching Trace Monitoring Patterns (RV 2007)
- Semantics of Static Pointcuts in AspectJ (POPL 2007)
2006
- Scripting refactorings with JunGL (OOPSLA 2006)
- Aspects for Trace Monitoring (FATES/RV 2006)
- Aspects and Data Refinement (MPC 2006)
- abc: an extensible compiler for AspectJ (TAOSD 2006 - journal version of AOSD 2005)
- Adding open modules to AspectJ (AOSD 2006)
- JunGL: a scripting language for refactoring (ICSE 2006)
- CodeQuest: scalable source code queries with Datalog (ECOOP 2006)
2005
- CodeQuest: Querying Source Code with DataLog (OOPSLA 2005)
- abc: the AspectBench Compiler for AspectJ (invited talk) (GPCE 2005)
- Adding trace matching with free variables to AspectJ (OOPSLA 2005)
- Optimising AspectJ (PLDI 2005)
- abc: an extensible compiler for AspectJ (AOSD 2005)
2004
- Measuring the dynamic behaviour of AspectJ programs (OOPSLA 2004)
- Incremental execution of transformation specifications (POPL 2004)
2003
- The Fun of Programming (book edited, Palgrave 2003)
- Mechanising fusion (FOP 2003)
- Static analysis of aspects (AOSD 2003)
- Universal regular path queries (HOSC 2003)
- Compiling embedded languages (JFP 2003)
2002
- Forwarding in attribute grammars for modular language design (CC 2002)
- Transforming the .NET intermediate language using path logic programming (PPDP 02)
2001
- Higher-order matching for automatically applying fusion transformations (PADO 01)
- Imperative program transformation by rewriting (CC 2001)
- Higher-order matching for program transformation (TCS 2001)
2000
- Compiling embedded languages (SAIG 2000)
- First-class attribute grammars (Informatica 2000)
- Pointwise relational programming (AMAST 2000)
- Container types categorically (JFP 2000)
- Modeless structure editing (Millenial Perspectives 2000)
1999
- Efficient image manipulation through run-time compilation (MSR-TR 1999)
- Higher-order matching for program transformation (FLOPS 1999)
- Aspect-oriented compilers (GCSE 1999)
- Bridging the algorithm gap: a linear-time functional program for paragraph formatting (SCP 1999)
- Dynamic programming as a software component (CSCC 1999)
- Generic program transformation (AFP 1999)
1998 (prior to foundation of the Programming Tools Group)
- Transformation in intentional programming (ICSR 1998)
1997
- More haste, less speed: lazy versus eager evaluation (JFP 1997)
- Algebra of programming (book, Prentice Hall 1997)
1996
- Compositional logic programming (JICSLP 1996)
- Generic programming with functors and relations (JFP 1996)
1995
- A generic program for sequential decision processes (PLILP 1995)
1994
- The algebra of programming (Marktoberdorf 1994)
- Categories, relations and dynamic programming (MSCS 1994)
- An algebraic construction of predicate transformers (SCP 1994)
- Relational program derivation and context-free language recognition (ACM 1994)
- List partitions (FAC 1994)
1993
- Virtual data structures (FPD 1993)
- From dynamic programming to greedy algorithms (FPD 1993)
- Solving optimisation problems with catamorphisms (MPC 1993)
- An algebraic construction of predicate transformers (MPC 1993)