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
https://portal.mardi4nfdi.de/entity/Q2702096	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/Q4281662	1994-04-07	Paper
https://portal.mardi4nfdi.de/entity/Q4281666	1994-04-07	Paper
List partitions	1993-06-29	Paper
Inductive data types for predicate transformers	1993-01-16	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Oege de Moor