Oege de Moor

Available identifiers

zbMath Open de-moor.oegeMaRDI QIDQ236450

List of research outcomes

Publication	Date of Publication	Type
Incremental execution of transformation specifications	2015-11-11	Paper
Type inference for datalog with complex type hierarchies	2015-06-11	Paper
Semantics of static pointcuts in aspectJ	2014-09-12	Paper
abc : An Extensible AspectJ Compiler	2009-06-26	Paper
Formalising and Verifying Reference Attribute Grammars in Coq	2009-03-31	Paper
https://portal.mardi4nfdi.de/entity/Q4738382	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4472533	2004-08-04	Paper
Compiling embedded languages	2003-09-22	Paper
Universal regular path queries	2003-08-21	Paper
https://portal.mardi4nfdi.de/entity/Q2766781	2002-07-22	Paper
https://portal.mardi4nfdi.de/entity/Q4529780	2002-05-06	Paper
Higher-order matching for program transformation	2002-03-03	Paper
https://portal.mardi4nfdi.de/entity/Q2767187	2002-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q2764063	2002-01-22	Paper
Container types categorically	2001-04-26	Paper
First-class attribute grammars	2001-03-12	Paper
Bridging the algorithm gap: A linear-time functional program for paragraph formatting	2000-11-28	Paper
More haste, less speed: lazy versus eager evaluation	1998-06-11	Paper
https://portal.mardi4nfdi.de/entity/Q4331824	1997-02-11	Paper
Generic functional programming with types and relations	1996-08-21	Paper
https://portal.mardi4nfdi.de/entity/Q4885873	1996-07-28	Paper
An algebraic construction of predicate transformers	1995-02-19	Paper
Categories, relations and dynamic programming	1994-08-16	Paper
https://portal.mardi4nfdi.de/entity/Q4281666	1994-04-07	Paper
https://portal.mardi4nfdi.de/entity/Q4281662	1994-04-07	Paper
List partitions	1993-06-29	Paper
Inductive data types for predicate transformers	1993-01-16	Paper

Research outcomes over time

This page was built for person: Oege de Moor