| 2009 |
| 29 | EE | Dragan Gasevic,
Ralf Lämmel,
Eric Van Wyk:
Software Language Engineering, First International Conference, SLE 2008, Toulouse, France, September 29-30, 2008. Revised Selected Papers
Springer 2009 |
| 2008 |
| 28 | EE | Eric Van Wyk,
Derek Bodin,
Jimin Gao,
Lijesh Krishnan:
Silver: an Extensible Attribute Grammar System.
Electr. Notes Theor. Comput. Sci. 203(2): 103-116 (2008) |
| 27 | EE | Jimin Gao,
Mike Whalen,
Eric Van Wyk:
Extending Lustre with Timeout Automata.
Electr. Notes Theor. Comput. Sci. 203(4): 111-124 (2008) |
| 2007 |
| 26 | EE | Eric Van Wyk,
Lijesh Krishnan,
Derek Bodin,
August Schwerdfeger:
Attribute Grammar-Based Language Extensions for Java.
ECOOP 2007: 575-599 |
| 25 | EE | Jimin Gao,
Mats Per Erik Heimdahl,
Eric Van Wyk:
Flexible and Extensible Notations for Modeling Languages.
FASE 2007: 102-116 |
| 24 | EE | Eric Van Wyk,
August Schwerdfeger:
Context-aware scanning for parsing extensible languages.
GPCE 2007: 63-72 |
| 23 | EE | Eric Van Wyk,
Yogesh Mali:
Adding Dimension Analysis to Java as a Composable Language Extension.
GTTSE 2007: 442-456 |
| 22 | EE | Eric Van Wyk,
Eric Johnson:
Composable Language Extensions for Computational Geometry: A Case Study.
HICSS 2007: 258 |
| 21 | EE | Eric Van Wyk,
Lijesh Krishnan:
Using Verified Data-Flow Analysis-based Optimizations in Attribute Grammars.
Electr. Notes Theor. Comput. Sci. 176(3): 109-122 (2007) |
| 20 | EE | Eric Van Wyk:
Implementing aspect-oriented programming constructs as modular language extensions.
Sci. Comput. Program. 68(1): 38-61 (2007) |
| 2006 |
| 19 | EE | David J. Montana,
Eric Van Wyk,
Marshall Brinn,
Joshua Montana,
Stephen Milligan:
Genomic computing networks learn complex POMDPs.
GECCO 2006: 233-234 |
| 18 | EE | Eric Van Wyk,
Lijesh Krishnan,
Derek Bodin,
Eric Johnson:
Adding domain-specific and general purpose language features to Java with the Java language extender.
OOPSLA Companion 2006: 728-729 |
| 17 | EE | Eric Van Wyk,
Lijesh Krishnan,
Derek Bodin,
Eric Johnson,
August Schwerdfeger,
Phil Russell:
Tool Demonstration: Silver Extensible Compiler Frameworks and Modular Language Extensions for Java and C.
SCAM 2006: 161 |
| 16 | EE | Görel Hedin,
Eric Van Wyk:
Preface.
Sci. Comput. Program. 61(3): 189 (2006) |
| 2004 |
| 15 | EE | Görel Hedin,
Eric Van Wyk:
Preface.
Electr. Notes Theor. Comput. Sci. 110: 1-2 (2004) |
| 14 | EE | David Lacey,
Neil D. Jones,
Eric Van Wyk,
Carl Christian Frederiksen:
Compiler Optimization Correctness by Temporal Logic.
Higher-Order and Symbolic Computation 17(3): 173-206 (2004) |
| 2003 |
| 13 | EE | Eric Van Wyk:
Aspects as Modular Language Extensions.
Electr. Notes Theor. Comput. Sci. 82(3): (2003) |
| 12 | EE | Oege de Moor,
David Lacey,
Eric Van Wyk:
Universal Regular Path Queries.
Higher-Order and Symbolic Computation 16(1-2): 15-35 (2003) |
| 11 | | Eric Van Wyk:
Specification languages in algebraic compilers.
Theor. Comput. Sci. 291(3): 351-385 (2003) |
| 2002 |
| 10 | EE | Eric Van Wyk,
Oege de Moor,
Kevin Backhouse,
Paul Kwiatkowski:
Forwarding in Attribute Grammars for Modular Language Design.
CC 2002: 128-142 |
| 9 | EE | David Lacey,
Neil D. Jones,
Eric Van Wyk,
Carl Christian Frederiksen:
Proving correctness of compiler optimizations by temporal logic.
POPL 2002: 283-294 |
| 8 | | Teodor Rus,
Eric Van Wyk,
Tom Halverson:
Generating Model Checkers from Algebraic Specifications.
Formal Methods in System Design 20(3): 249-284 (2002) |
| 2000 |
| 7 | EE | Eric Van Wyk:
Meta Languages in Algebraic Compilers.
AMAST 2000: 119-134 |
| 6 | | Eric Van Wyk:
Domain Specific Meta Languages.
SAC (2) 2000: 799-803 |
| 1999 |
| 5 | EE | Oege de Moor,
Simon L. Peyton Jones,
Eric Van Wyk:
Aspect-Oriented Compilers.
GCSE 1999: 121-133 |
| 1998 |
| 4 | | Teodor Rus,
Eric Van Wyk:
Using Model Checking in a Parallelizing Compiler.
Parallel Processing Letters 8(4): 459-471 (1998) |
| 1997 |
| 3 | | Teodor Rus,
Tom Halverson,
Eric Van Wyk,
Robert Kooima:
An Algebraic Language Processing Environment.
AMAST 1997: 581-585 |
| 2 | | Teodor Rus,
Eric Van Wyk:
Integrating Temporal Logics and Model Checking Algorithms.
ARTS 1997: 95-110 |
| 1 | | Teodor Rus,
Eric Van Wyk:
A Formal Approach to Parallelizing Compilers.
PPSC 1997 |