Eric Van Wyk

Available identifiers

zbMath Open van-wyk.ericMaRDI QIDQ995472

List of research outcomes

Publication	Date of Publication	Type
Proving correctness of compiler optimizations by temporal logic	2015-03-17	Paper
Silver: an extensible attribute grammar system	2010-01-15	Paper
Implementing aspect-oriented programming constructs as modular language extensions	2007-09-03	Paper
Compiler optimization correctness by temporal logic	2005-03-15	Paper
https://portal.mardi4nfdi.de/entity/Q4738382	2004-08-11	Paper
Universal regular path queries	2003-08-21	Paper
Specification languages in algebraic compilers	2003-01-22	Paper
Generating model checkers from algebraic specifications	2002-06-16	Paper
https://portal.mardi4nfdi.de/entity/Q2767169	2002-01-28	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: Eric Van Wyk