Eric Van Wyk

Publication Activity (10 Years)

Years Active: 1997-2023
Publications (10 Years): 17

Top Topics

Attribute Grammars

Developmental Psychology

Special Section

Top Venues

Sci. Comput. Program.

J. Comput. Lang.

Publications

Lucas Kramer, Eric Van Wyk
Sharing Trees and Contextual Information: Re-imagining Forwarding in Attribute Grammars. SLE (2023)
Dawn Michaelson, Gopalan Nadathur, Eric Van Wyk
A Modular Approach to Metatheoretic Reasoning for Extensible Languages. CoRR (2023)
Nathan Ringo, Lucas Kramer, Eric Van Wyk
Nanopass Attribute Grammars. SLE (2023)
Eric Van Wyk
Context in Parsing: Techniques and Applications. Eelco Visser Commemorative Symposium (2023)
Lucas Kramer, Ted Kaminski, Eric Van Wyk
Reflection of terms in attribute grammars: Design and applications. J. Comput. Lang. 64 (2021)
Manuel Leduc, Thomas Degueule, Eric Van Wyk, Benoît Combemale
The Software Language Extension Problem. Softw. Syst. Model. 19 (2) (2020)
Lucas Kramer, Eric Van Wyk
Strategic tree rewriting in attribute grammars. SLE (2020)
Dawn Michaelson, Eric Van Wyk
Monadification of attribute grammars. SLE (2020)
Travis Carlson, Eric Van Wyk
Building parallel programming language constructs in the AbleC extensible C compiler framework: a PPoPP tutorial. PPoPP (2019)
Lucas Kramer, Ted Kaminski, Eric Van Wyk
Reflection in attribute grammars. GPCE (2019)
Lucas Kramer, Eric Van Wyk
Parallel nondeterministic programming as a language extension to C (short paper). GPCE (2019)
Travis Carlson, Eric Van Wyk
Type qualifiers as composable language extensions for code analysis and generation. J. Comput. Lang. 50 (2019)
Ted Kaminski, Eric Van Wyk
Ensuring non-interference of composable language extensions. SLE (2017)
Travis Carlson, Eric Van Wyk
Type qualifiers as composable language extensions. GPCE (2017)
Benoît Combemale, Ralf Lämmel, Eric Van Wyk
SLEBOK: The Software Language Engineering Body of Knowledge (Dagstuhl Seminar 17342). Dagstuhl Reports 7 (8) (2017)
Ted Kaminski, Lucas Kramer, Travis Carlson, Eric Van Wyk
Reliable and automatic composition of language extensions to C: the ableC extensible language framework. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Pedro Martins, João Paulo Fernandes, João Saraiva, Eric Van Wyk, Anthony Sloane
Embedding attribute grammars and their extensions using functional zippers. Sci. Comput. Program. 132 (2016)
Benoît Combemale, David J. Pearce, Richard F. Paige, Eric Van Wyk
Special Issue on the 6th and 7th International Conferences on Software Language Engineering (SLE 2013 and SLE 2014). Comput. Lang. Syst. Struct. 44 (2015)
Ted Kaminski, Eric Van Wyk
A modular specification of Oberon0 using the Silver attribute grammar system. Sci. Comput. Program. 114 (2015)
Srinivas Rangarajan, Ted Kaminski, Eric Van Wyk, Aditya Bhan, Prodromos Daoutidis
Language-oriented rule-based reaction network generation and analysis: Algorithms of RING. Comput. Chem. Eng. 64 (2014)
Kevin Williams, Eric Van Wyk
Origin Tracking in Attribute Grammars. SLE (2014)
Lijesh Krishnan, Eric Van Wyk
Monolithic and modular termination analyses for higher-order attribute grammars. Sci. Comput. Program. 96 (2014)
Kevin Williams, Matthew Le, Ted Kaminski, Eric Van Wyk
A Compiler Extension for Parallel Matrix Programming. ICPP (2014)
Claus Brabrand, Eric Van Wyk
Preface to the Special Section on Language Descriptions, Tools, and Applications (LDTA 2011). Sci. Comput. Program. 87 (2014)
Pedro Martins, João Saraiva, João Paulo Fernandes, Eric Van Wyk
Generating attribute grammar-based bidirectional transformations from rewrite rules. PEPM (2014)
Ted Kaminski, Eric Van Wyk
Creating and using domain-specific language features. GlobalDSL@ECOOP (2013)
Ted Kaminski, Eric Van Wyk
Modular Well-Definedness Analysis for Attribute Grammars. SLE (2012)
Steve Tousignant, Eric Van Wyk, Maria L. Gini
XRobots: A flexible language for programming mobile robots based on hierarchical state machines. ICRA (2012)
Lijesh Krishnan, Eric Van Wyk
Termination Analysis for Higher-Order Attribute Grammars. SLE (2012)
Yogesh Mali, Eric Van Wyk
Building Extensible Specifications and Implementations of Promela with AbleP. SPIN (2011)
Claus Brabrand, Eric Van Wyk
Preface. LDTA (2011)
Ted Kaminski, Eric Van Wyk
Integrating Attribute Grammar and Functional Programming Language Features. SLE (2011)
Eric Van Wyk, Derek Bodin, Jimin Gao, Lijesh Krishnan
Silver: An extensible attribute grammar system. Sci. Comput. Program. 75 (1-2) (2010)
Eric Van Wyk, Mats Per Erik Heimdahl
Flexibility in modeling languages and tools: a call to arms. Int. J. Softw. Tools Technol. Transf. 11 (3) (2009)
August Schwerdfeger, Eric Van Wyk
Verifiable composition of deterministic grammars. PLDI (2009)
August Schwerdfeger, Eric Van Wyk
Verifiable Parse Table Composition for Deterministic Parsing. SLE (2009)
David J. Montana, Eric Van Wyk, Marshall Brinn, Joshua Montana, Stephen Milligan
Evolution of internal dynamics for neural network nodes. Evol. Intell. 1 (4) (2009)
Eric Van Wyk, Derek Bodin, Jimin Gao, Lijesh Krishnan
Silver: an Extensible Attribute Grammar System. Electron. Notes Theor. Comput. Sci. 203 (2) (2008)
Jimin Gao, Mike Whalen, Eric Van Wyk
Extending Lustre with Timeout Automata. Electron. Notes Theor. Comput. Sci. 203 (4) (2008)
Jimin Gao, Mats Per Erik Heimdahl, Eric Van Wyk
Flexible and Extensible Notations for Modeling Languages. FASE (2007)
Eric Van Wyk, August Schwerdfeger
Context-aware scanning for parsing extensible languages. GPCE (2007)
Eric Van Wyk, Lijesh Krishnan, Derek Bodin, August Schwerdfeger
Attribute Grammar-Based Language Extensions for Java. ECOOP (2007)
Eric Van Wyk, Lijesh Krishnan
Using Verified Data-Flow Analysis-based Optimizations in Attribute Grammars. Electron. Notes Theor. Comput. Sci. 176 (3) (2007)
Eric Van Wyk, Eric Johnson
Composable Language Extensions for Computational Geometry: A Case Study. HICSS (2007)
Eric Van Wyk
Implementing aspect-oriented programming constructs as modular language extensions. Sci. Comput. Program. 68 (1) (2007)
Eric Van Wyk, Yogesh Mali
Adding Dimension Analysis to Java as a Composable Language Extension. GTTSE (2007)
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)
Görel Hedin, Eric Van Wyk
Preface. Sci. Comput. Program. 61 (3) (2006)
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)
David J. Montana, Eric Van Wyk, Marshall Brinn, Joshua Montana, Stephen Milligan
Genomic computing networks learn complex POMDPs. GECCO (2006)
David Lacey, Neil D. Jones, Eric Van Wyk, Carl Christian Frederiksen
Compiler Optimization Correctness by Temporal Logic. High. Order Symb. Comput. 17 (3) (2004)
Görel Hedin, Eric Van Wyk
Preface. Electron. Notes Theor. Comput. Sci. 110 (2004)
Oege de Moor, David Lacey, Eric Van Wyk
Universal Regular Path Queries. High. Order Symb. Comput. 16 (1-2) (2003)
Eric Van Wyk
Aspects as Modular Language Extensions. Electron. Notes Theor. Comput. Sci. 82 (3) (2003)
Eric Van Wyk
Specification languages in algebraic compilers. Theor. Comput. Sci. 291 (3) (2003)
David Lacey, Neil D. Jones, Eric Van Wyk, Carl Christian Frederiksen
Proving correctness of compiler optimizations by temporal logic. POPL (2002)
Teodor Rus, Eric Van Wyk, Tom Halverson
Generating Model Checkers from Algebraic Specifications. Formal Methods Syst. Des. 20 (3) (2002)
Eric Van Wyk, Oege de Moor, Kevin Backhouse, Paul Kwiatkowski
Forwarding in Attribute Grammars for Modular Language Design. CC (2002)
Eric Van Wyk
Domain Specific Meta Languages. SAC (2) (2000)
Eric Van Wyk
Meta Languages in Algebraic Compilers. AMAST (2000)
Oege de Moor, Simon L. Peyton Jones, Eric Van Wyk
Aspect-Oriented Compilers. GCSE (1999)
Teodor Rus, Eric Van Wyk
Using Model Checking in a Parallelizing Compiler. Parallel Process. Lett. 8 (4) (1998)
Teodor Rus, Eric Van Wyk
A Formal Approach to Parallelizing Compilers. PPSC (1997)
Teodor Rus, Eric Van Wyk
Integrating Temporal Logics and Model Checking Algorithms. ARTS (1997)
Teodor Rus, Tom Halverson, Eric Van Wyk, Robert Kooima
An Algebraic Language Processing Environment. AMAST (1997)