Eric Van Wyk

From MaRDI portal
Person:995472

Available identifiers

zbMath Open van-wyk.ericMaRDI QIDQ995472

List of research outcomes





PublicationDate of PublicationType
Proving correctness of compiler optimizations by temporal logic2015-03-17Paper
Silver: an extensible attribute grammar system2010-01-15Paper
Implementing aspect-oriented programming constructs as modular language extensions2007-09-03Paper
Compiler optimization correctness by temporal logic2005-03-15Paper
https://portal.mardi4nfdi.de/entity/Q47383822004-08-11Paper
Universal regular path queries2003-08-21Paper
Specification languages in algebraic compilers2003-01-22Paper
Generating model checkers from algebraic specifications2002-06-16Paper
https://portal.mardi4nfdi.de/entity/Q27671692002-01-28Paper

Research outcomes over time

This page was built for person: Eric Van Wyk

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:995472&oldid=6062138"
Powered by MediaWiki