New editor of Science of Computer Programming
Document Actions
Oege de Moor's publications on generating program transformers from specifications
- Scripting refactorings with JunGL (OOPSLA 2006)
- JunGL: a scripting language for refactoring (ICSE 2006)
- Incremental execution of transformation specifications (POPL 2004)
- Mechanising fusion (FOP 2003)
- Universal regular path queries (HOSC 2003)
- Transforming the .NET intermediate language using path logic programming (PPDP 02)
- 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)
- Higher-order matching for program transformation (FLOPS 1999)
- Generic program transformation (AFP 1999)
- Transformation in intentional programming (ICSR 1998)