Eric Van Wyk

72 papers A* 3A 2B 22C 2Journal 23Unranked 18
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Modular Approach to Metatheoretic Reasoning for Extensible Languages.
ACM Trans. Program. Lang. Syst.
Dawn Michaelson, Gopalan Nadathur, Eric Van Wyk
2025 B conf
Scheduling the Construction and Interrogation of Scope Graphs Using Attribute Grammars.
SLE
Luke Bessant, Eric Van Wyk
2023 J jnl
A Modular Approach to Metatheoretic Reasoning for Extensible Languages.
CoRR
Dawn Michaelson, Gopalan Nadathur, Eric Van Wyk
2023 — conf
Context in Parsing: Techniques and Applications.
Eelco Visser Commemorative Symposium
Eric Van Wyk
2023 B conf
Nanopass Attribute Grammars.
SLE
Nathan Ringo, Lucas Kramer, Eric Van Wyk
2023 B conf
Sharing Trees and Contextual Information: Re-imagining Forwarding in Attribute Grammars.
SLE
Lucas Kramer, Eric Van Wyk
2021 J jnl
Reflection of terms in attribute grammars: Design and applications.
J. Comput. Lang.
Lucas Kramer, Ted Kaminski, Eric Van Wyk
2020 B conf
Monadification of attribute grammars.
SLE
Dawn Michaelson, Eric Van Wyk
2020 B conf
Strategic tree rewriting in attribute grammars.
SLE
Lucas Kramer, Eric Van Wyk
2020 J jnl
The Software Language Extension Problem.
Softw. Syst. Model.
Manuel Leduc, Thomas Degueule, Eric Van Wyk, Benoît Combemale
2019 B conf
Building parallel programming language constructs in the AbleC extensible C compiler framework: a PPoPP tutorial.
PPoPP
Travis Carlson, Eric Van Wyk
2019 B conf
Parallel nondeterministic programming as a language extension to C (short paper).
GPCE
Lucas Kramer, Eric Van Wyk
2019 B conf
Reflection in attribute grammars.
GPCE
Lucas Kramer, Ted Kaminski, Eric Van Wyk
2019 J jnl
Type qualifiers as composable language extensions for code analysis and generation.
J. Comput. Lang.
Travis Carlson, Eric Van Wyk
2018 B ed.
Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2018, Boston, MA, USA, November 5-6, 2018
GPCE
Eric Van Wyk, Tiark Rompf
2017 B conf
Ensuring non-interference of composable language extensions.
SLE
Ted Kaminski, Eric Van Wyk
2017 J jnl
Reliable and automatic composition of language extensions to C: the ableC extensible language framework.
Proc. ACM Program. Lang.
Ted Kaminski, Lucas Kramer, Travis Carlson, Eric Van Wyk
2017 J jnl
SLEBOK: The Software Language Engineering Body of Knowledge (Dagstuhl Seminar 17342).
Dagstuhl Reports
Benoît Combemale, Ralf Lämmel, Eric Van Wyk
2017 B conf
Type qualifiers as composable language extensions.
GPCE
Travis Carlson, Eric Van Wyk
2016 J jnl
Embedding attribute grammars and their extensions using functional zippers.
Sci. Comput. Program.
Pedro Martins, João Paulo Fernandes, João Saraiva, Eric Van Wyk, Anthony Sloane
2015 J jnl
A modular specification of Oberon0 using the Silver attribute grammar system.
Sci. Comput. Program.
Ted Kaminski, Eric Van Wyk
2015 J jnl
Special Issue on the 6th and 7th International Conferences on Software Language Engineering (SLE 2013 and SLE 2014).
Comput. Lang. Syst. Struct.
Benoît Combemale, David J. Pearce, Richard F. Paige, Eric Van Wyk
2014 B conf
A Compiler Extension for Parallel Matrix Programming.
ICPP
Kevin Williams, Matthew Le, Ted Kaminski, Eric Van Wyk
2014 C conf
Generating attribute grammar-based bidirectional transformations from rewrite rules.
PEPM
Pedro Martins, João Saraiva, João Paulo Fernandes, Eric Van Wyk
2014 J jnl
Language-oriented rule-based reaction network generation and analysis: Algorithms of RING.
Comput. Chem. Eng.
Srinivas Rangarajan, Ted Kaminski, Eric Van Wyk, Aditya Bhan, Prodromos Daoutidis
2014 J jnl
Monolithic and modular termination analyses for higher-order attribute grammars.
Sci. Comput. Program.
Lijesh Krishnan, Eric Van Wyk
2014 B conf
Origin Tracking in Attribute Grammars.
SLE
Kevin Williams, Eric Van Wyk
2014 J jnl
Preface to the Special Section on Language Descriptions, Tools, and Applications (LDTA 2011).
Sci. Comput. Program.
Claus Brabrand, Eric Van Wyk
2013 — conf
Creating and using domain-specific language features.
GlobalDSL@ECOOP
Ted Kaminski, Eric Van Wyk
2013 B ed.
Software Language Engineering - 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings
SLE
Martin Erwig, Richard F. Paige, Eric Van Wyk
2012 B conf
Modular Well-Definedness Analysis for Attribute Grammars.
SLE
Ted Kaminski, Eric Van Wyk
2012 B conf
Termination Analysis for Higher-Order Attribute Grammars.
SLE
Lijesh Krishnan, Eric Van Wyk
2012 A* conf
XRobots: A flexible language for programming mobile robots based on hierarchical state machines.
ICRA
Steve Tousignant, Eric Van Wyk, Maria L. Gini
2011 — conf
Building Extensible Specifications and Implementations of Promela with AbleP.
SPIN
Yogesh Mali, Eric Van Wyk
2011 B conf
Integrating Attribute Grammar and Functional Programming Language Features.
SLE
Ted Kaminski, Eric Van Wyk
2011 — ed.
Language Descriptions, Tools and Applications, LDTA 2011, Saarbrücken, Germany, March 26-27, 2011. Proceeding
LDTA
Claus Brabrand, Eric Van Wyk
2011 — conf
Preface.
LDTA
Claus Brabrand, Eric Van Wyk
2010 J jnl
Silver: An extensible attribute grammar system.
Sci. Comput. Program.
Eric Van Wyk, Derek Bodin, Jimin Gao, Lijesh Krishnan
2009 J jnl
Evolution of internal dynamics for neural network nodes.
Evol. Intell.
David J. Montana, Eric Van Wyk, Marshall Brinn, Joshua Montana, Stephen Milligan
2009 J jnl
Flexibility in modeling languages and tools: a call to arms.
Int. J. Softw. Tools Technol. Transf.
Eric Van Wyk, Mats Per Erik Heimdahl
2009 B ed.
Software Language Engineering, First International Conference, SLE 2008, Toulouse, France, September 29-30, 2008. Revised Selected Papers
SLE
Dragan Gasevic, Ralf Lämmel, Eric Van Wyk
2009 B conf
Verifiable Parse Table Composition for Deterministic Parsing.
SLE
August Schwerdfeger, Eric Van Wyk
2009 A* conf
Verifiable composition of deterministic grammars.
PLDI
August Schwerdfeger, Eric Van Wyk
2007 — conf
Adding Dimension Analysis to Java as a Composable Language Extension.
GTTSE
Eric Van Wyk, Yogesh Mali
2007 A conf
Attribute Grammar-Based Language Extensions for Java.
ECOOP
Eric Van Wyk, Lijesh Krishnan, Derek Bodin, August Schwerdfeger
2007 — conf
Composable Language Extensions for Computational Geometry: A Case Study.
HICSS
Eric Van Wyk, Eric Johnson
2007 B conf
Context-aware scanning for parsing extensible languages.
GPCE
Eric Van Wyk, August Schwerdfeger
2007 — conf
Extending Lustre with Timeout Automata.
SLA++P
Jimin Gao, Mike Whalen, Eric Van Wyk
2007 B conf
Flexible and Extensible Notations for Modeling Languages.
FASE
Jimin Gao, Mats Per Erik Heimdahl, Eric Van Wyk
2007 J jnl
Implementing aspect-oriented programming constructs as modular language extensions.
Sci. Comput. Program.
Eric Van Wyk
2007 — conf
Silver: an Extensible Attribute Grammar System.
LDTA@ETAPS
Eric Van Wyk, Derek Bodin, Jimin Gao, Lijesh Krishnan
2006 — conf
Adding domain-specific and general purpose language features to Java with the Java language extender.
OOPSLA Companion
Eric Van Wyk, Lijesh Krishnan, Derek Bodin, Eric Johnson
2006 A conf
Genomic computing networks learn complex POMDPs.
GECCO
David J. Montana, Eric Van Wyk, Marshall Brinn, Joshua Montana, Stephen Milligan
2006 J jnl
Preface.
Sci. Comput. Program.
Görel Hedin, Eric Van Wyk
2006 C conf
Tool Demonstration: Silver Extensible Compiler Frameworks and Modular Language Extensions for Java and C.
SCAM
Eric Van Wyk, Lijesh Krishnan, Derek Bodin, Eric Johnson, August Schwerdfeger, Phil Russell
2006 — conf
Using Verified Data-Flow Analysis-based Optimizations in Attribute Grammars.
COCV
Eric Van Wyk, Lijesh Krishnan
2004 J jnl
Compiler Optimization Correctness by Temporal Logic.
High. Order Symb. Comput.
David Lacey, Neil D. Jones, Eric Van Wyk, Carl Christian Frederiksen
2004 — conf
Preface.
LDTA@ETAPS
Görel Hedin, Eric Van Wyk
2004 — ed.
Proceedings of the Fourth Workshop on Language Descriptions, Tools, and Applications, LDTA@ETAPS 2004, Barcelona, Spain, April 3, 2004
LDTA@ETAPS
Görel Hedin, Eric Van Wyk
2003 — conf
Aspects as Modular Language Extensions.
LDTA@ETAPS
Eric Van Wyk
2003 J jnl
Specification languages in algebraic compilers.
Theor. Comput. Sci.
Eric Van Wyk
2003 J jnl
Universal Regular Path Queries.
High. Order Symb. Comput.
Oege de Moor, David Lacey, Eric Van Wyk
2002 B conf
Forwarding in Attribute Grammars for Modular Language Design.
CC
Eric Van Wyk, Oege de Moor, Kevin Backhouse, Paul Kwiatkowski
2002 J jnl
Generating Model Checkers from Algebraic Specifications.
Formal Methods Syst. Des.
Teodor Rus, Eric Van Wyk, Tom Halverson
2002 A* conf
Proving correctness of compiler optimizations by temporal logic.
POPL
David Lacey, Neil D. Jones, Eric Van Wyk, Carl Christian Frederiksen
2000 — conf
Domain Specific Meta Languages.
SAC (2)
Eric Van Wyk
2000 — conf
Meta Languages in Algebraic Compilers.
AMAST
Eric Van Wyk
1999 — conf
Aspect-Oriented Compilers.
GCSE
Oege de Moor, Simon L. Peyton Jones, Eric Van Wyk
1998 J jnl
Using Model Checking in a Parallelizing Compiler.
Parallel Process. Lett.
Teodor Rus, Eric Van Wyk
1997 — conf
A Formal Approach to Parallelizing Compilers.
PP
Teodor Rus, Eric Van Wyk
1997 — conf
An Algebraic Language Processing Environment.
AMAST
Teodor Rus, Tom Halverson, Eric Van Wyk, Robert Kooima
1997 — conf
Integrating Temporal Logics and Model Checking Algorithms.
ARTS
Teodor Rus, Eric Van Wyk