dblp.uni-trier.dewww.uni-trier.de

Eric Van Wyk

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
29EEDragan 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
28EEEric Van Wyk, Derek Bodin, Jimin Gao, Lijesh Krishnan: Silver: an Extensible Attribute Grammar System. Electr. Notes Theor. Comput. Sci. 203(2): 103-116 (2008)
27EEJimin Gao, Mike Whalen, Eric Van Wyk: Extending Lustre with Timeout Automata. Electr. Notes Theor. Comput. Sci. 203(4): 111-124 (2008)
2007
26EEEric Van Wyk, Lijesh Krishnan, Derek Bodin, August Schwerdfeger: Attribute Grammar-Based Language Extensions for Java. ECOOP 2007: 575-599
25EEJimin Gao, Mats Per Erik Heimdahl, Eric Van Wyk: Flexible and Extensible Notations for Modeling Languages. FASE 2007: 102-116
24EEEric Van Wyk, August Schwerdfeger: Context-aware scanning for parsing extensible languages. GPCE 2007: 63-72
23EEEric Van Wyk, Yogesh Mali: Adding Dimension Analysis to Java as a Composable Language Extension. GTTSE 2007: 442-456
22EEEric Van Wyk, Eric Johnson: Composable Language Extensions for Computational Geometry: A Case Study. HICSS 2007: 258
21EEEric Van Wyk, Lijesh Krishnan: Using Verified Data-Flow Analysis-based Optimizations in Attribute Grammars. Electr. Notes Theor. Comput. Sci. 176(3): 109-122 (2007)
20EEEric Van Wyk: Implementing aspect-oriented programming constructs as modular language extensions. Sci. Comput. Program. 68(1): 38-61 (2007)
2006
19EEDavid J. Montana, Eric Van Wyk, Marshall Brinn, Joshua Montana, Stephen Milligan: Genomic computing networks learn complex POMDPs. GECCO 2006: 233-234
18EEEric 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
17EEEric 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
16EEGörel Hedin, Eric Van Wyk: Preface. Sci. Comput. Program. 61(3): 189 (2006)
2004
15EEGörel Hedin, Eric Van Wyk: Preface. Electr. Notes Theor. Comput. Sci. 110: 1-2 (2004)
14EEDavid 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
13EEEric Van Wyk: Aspects as Modular Language Extensions. Electr. Notes Theor. Comput. Sci. 82(3): (2003)
12EEOege 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
10EEEric Van Wyk, Oege de Moor, Kevin Backhouse, Paul Kwiatkowski: Forwarding in Attribute Grammars for Modular Language Design. CC 2002: 128-142
9EEDavid 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
7EEEric 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
5EEOege 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

Coauthor Index

1Kevin Backhouse [10]
2Derek Bodin [17] [18] [26] [28]
3Marshall Brinn [19]
4Carl Christian Frederiksen [9] [14]
5Jimin Gao [25] [27] [28]
6Dragan Gasevic [29]
7Tom Halverson [3] [8]
8Görel Hedin [15] [16]
9Mats Per Erik Heimdahl [25]
10Eric Johnson [17] [18] [22]
11Neil D. Jones [9] [14]
12Simon L. Peyton Jones [5]
13Robert Kooima [3]
14Lijesh Krishnan [17] [18] [21] [26] [28]
15Paul Kwiatkowski [10]
16David Lacey [9] [12] [14]
17Ralf Lämmel (Ralf Laemmel, Ralf Lammel) [29]
18Yogesh Mali [23]
19Stephen Milligan [19]
20David J. Montana [19]
21Joshua Montana [19]
22Oege de Moor [5] [10] [12]
23Teodor Rus [1] [2] [3] [4] [8]
24Phil Russell [17]
25August Schwerdfeger [17] [24] [26]
26Mike Whalen [27]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)