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 |