Eric Van Wyk

According to our database, Eric Van Wyk authored at least 63 papers between 1997 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

A Modular Approach to Metatheoretic Reasoning for Extensible Languages.

Dawn Michaelson, Gopalan Nadathur, Eric Van Wyk

CoRR, 2023

Nanopass Attribute Grammars.

Nathan Ringo, Lucas Kramer, Eric Van Wyk

Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering, 2023

Sharing Trees and Contextual Information: Re-imagining Forwarding in Attribute Grammars.

Lucas Kramer, Eric Van Wyk

Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering, 2023

Context in Parsing: Techniques and Applications.

Eric Van Wyk

Proceedings of the Eelco Visser Commemorative Symposium, 2023

2021

Reflection of terms in attribute grammars: Design and applications.

Lucas Kramer, Ted Kaminski, Eric Van Wyk

J. Comput. Lang., 2021

2020

The Software Language Extension Problem.

Manuel Leduc, Thomas Degueule, Eric Van Wyk, Benoît Combemale

Softw. Syst. Model., 2020

Monadification of attribute grammars.

Dawn Michaelson, Eric Van Wyk

Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering, 2020

Strategic tree rewriting in attribute grammars.

Lucas Kramer, Eric Van Wyk

Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering, 2020

2019

Type qualifiers as composable language extensions for code analysis and generation.

Travis Carlson, Eric Van Wyk

J. Comput. Lang., 2019

Building parallel programming language constructs in the AbleC extensible C compiler framework: a PPoPP tutorial.

Travis Carlson, Eric Van Wyk

Proceedings of the 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2019

Parallel nondeterministic programming as a language extension to C (short paper).

Lucas Kramer, Eric Van Wyk

Proceedings of the 18th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2019

Reflection in attribute grammars.

Lucas Kramer, Ted Kaminski, Eric Van Wyk

Proceedings of the 18th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2019

2017

Reliable and automatic composition of language extensions to C: the ableC extensible language framework.

Ted Kaminski, Lucas Kramer, Travis Carlson, Eric Van Wyk

Proc. ACM Program. Lang., 2017

SLEBOK: The Software Language Engineering Body of Knowledge (Dagstuhl Seminar 17342).

Benoît Combemale, Ralf Lämmel, Eric Van Wyk

Dagstuhl Reports, 2017

Ensuring non-interference of composable language extensions.

Ted Kaminski, Eric Van Wyk

Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering, 2017

Type qualifiers as composable language extensions.

Travis Carlson, Eric Van Wyk

Proceedings of the 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2017

2016

Embedding attribute grammars and their extensions using functional zippers.

Pedro Martins, João Paulo Fernandes, João Saraiva, Eric Van Wyk, Anthony Sloane

Sci. Comput. Program., 2016

2015

A modular specification of Oberon0 using the Silver attribute grammar system.

Ted Kaminski, Eric Van Wyk

Sci. Comput. Program., 2015

Special Issue on the 6th and 7th International Conferences on Software Language Engineering (SLE 2013 and SLE 2014).

Benoît Combemale, David J. Pearce, Richard F. Paige, Eric Van Wyk

Comput. Lang. Syst. Struct., 2015

2014

Monolithic and modular termination analyses for higher-order attribute grammars.

Lijesh Krishnan, Eric Van Wyk

Sci. Comput. Program., 2014

Preface to the Special Section on Language Descriptions, Tools, and Applications (LDTA 2011).

Claus Brabrand, Eric Van Wyk

Sci. Comput. Program., 2014

Language-oriented rule-based reaction network generation and analysis: Algorithms of RING.

Srinivas Rangarajan, Ted Kaminski, Eric Van Wyk, Aditya Bhan, Prodromos Daoutidis

Comput. Chem. Eng., 2014

Origin Tracking in Attribute Grammars.

Kevin Williams, Eric Van Wyk

Proceedings of the Software Language Engineering - 7th International Conference, 2014

Generating attribute grammar-based bidirectional transformations from rewrite rules.

Pedro Martins, João Saraiva, João Paulo Fernandes, Eric Van Wyk

Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, 2014

A Compiler Extension for Parallel Matrix Programming.

Kevin Williams, Matthew Le, Ted Kaminski, Eric Van Wyk

Proceedings of the 43rd International Conference on Parallel Processing, 2014

2013

Creating and using domain-specific language features.

Ted Kaminski, Eric Van Wyk

Proceedings of the First Workshop on the Globalization of Domain Specific Languages, 2013

2012

Termination Analysis for Higher-Order Attribute Grammars.

Lijesh Krishnan, Eric Van Wyk

Proceedings of the Software Language Engineering, 5th International Conference, 2012

Modular Well-Definedness Analysis for Attribute Grammars.

Ted Kaminski, Eric Van Wyk

Proceedings of the Software Language Engineering, 5th International Conference, 2012

XRobots: A flexible language for programming mobile robots based on hierarchical state machines.

Steve Tousignant, Eric Van Wyk, Maria L. Gini

Proceedings of the IEEE International Conference on Robotics and Automation, 2012

2011

Building Extensible Specifications and Implementations of Promela with AbleP.

Yogesh Mali, Eric Van Wyk

Proceedings of the Model Checking Software, 2011

Integrating Attribute Grammar and Functional Programming Language Features.

Ted Kaminski, Eric Van Wyk

Proceedings of the Software Language Engineering - 4th International Conference, 2011

Preface.

Claus Brabrand, Eric Van Wyk

Proceedings of the Language Descriptions, Tools and Applications, 2011

2010

Silver: An extensible attribute grammar system.

Eric Van Wyk, Derek Bodin, Jimin Gao, Lijesh Krishnan

Sci. Comput. Program., 2010

2009

Flexibility in modeling languages and tools: a call to arms.

Eric Van Wyk, Mats Per Erik Heimdahl

Int. J. Softw. Tools Technol. Transf., 2009

Evolution of internal dynamics for neural network nodes.

David J. Montana, Eric Van Wyk, Marshall Brinn, Joshua Montana, Stephen Milligan

Evol. Intell., 2009

Verifiable Parse Table Composition for Deterministic Parsing.

August Schwerdfeger, Eric Van Wyk

Proceedings of the Software Language Engineering, Second International Conference, 2009

Verifiable composition of deterministic grammars.

August Schwerdfeger, Eric Van Wyk

Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

2007

Implementing aspect-oriented programming constructs as modular language extensions.

Eric Van Wyk

Sci. Comput. Program., 2007

Extending Lustre with Timeout Automata.

Jimin Gao, Mike Whalen, Eric Van Wyk

Proceedings of the International Workshop on Model-driven High-level Programming of Embedded Systems, 2007

Composable Language Extensions for Computational Geometry: A Case Study.

Eric Van Wyk, Eric Johnson

Proceedings of the 40th Hawaii International International Conference on Systems Science (HICSS-40 2007), 2007

Adding Dimension Analysis to Java as a Composable Language Extension.

Eric Van Wyk, Yogesh Mali

Proceedings of the Generative and Transformational Techniques in Software Engineering II, 2007

Context-aware scanning for parsing extensible languages.

Eric Van Wyk, August Schwerdfeger

Proceedings of the Generative Programming and Component Engineering, 2007

Flexible and Extensible Notations for Modeling Languages.

Jimin Gao, Mats Per Erik Heimdahl, Eric Van Wyk

Proceedings of the Fundamental Approaches to Software Engineering, 2007

Attribute Grammar-Based Language Extensions for Java.

Eric Van Wyk, Lijesh Krishnan, Derek Bodin, August Schwerdfeger

Proceedings of the ECOOP 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30, 2007

2006

Preface.

Görel Hedin, Eric Van Wyk

Sci. Comput. Program., 2006

Using Verified Data-Flow Analysis-based Optimizations in Attribute Grammars.

Eric Van Wyk, Lijesh Krishnan

Proceedings of the 5th International Workshop on Compiler Optimization meets Compiler Verification, 2006

Tool Demonstration: Silver Extensible Compiler Frameworks and Modular Language Extensions for Java and C.

Eric Van Wyk, Lijesh Krishnan, Derek Bodin, Eric Johnson, August Schwerdfeger, Phil Russell

Proceedings of the Sixth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2006), 2006

Adding domain-specific and general purpose language features to Java with the Java language extender.

Eric Van Wyk, Lijesh Krishnan, Derek Bodin, Eric Johnson

Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

Genomic computing networks learn complex POMDPs.

David J. Montana, Eric Van Wyk, Marshall Brinn, Joshua Montana, Stephen Milligan

Proceedings of the Genetic and Evolutionary Computation Conference, 2006

2004

Compiler Optimization Correctness by Temporal Logic.

David Lacey, Neil D. Jones, Eric Van Wyk, Carl Christian Frederiksen

High. Order Symb. Comput., 2004

2003

Specification languages in algebraic compilers.

Eric Van Wyk

Theor. Comput. Sci., 2003

Universal Regular Path Queries.

Oege de Moor, David Lacey, Eric Van Wyk

High. Order Symb. Comput., 2003

Aspects as Modular Language Extensions.

Eric Van Wyk

Proceedings of the Workshop on Language Descriptions, Tools and Applications, 2003

2002

Generating Model Checkers from Algebraic Specifications.

Teodor Rus, Eric Van Wyk, Tom Halverson

Formal Methods Syst. Des., 2002

Proving correctness of compiler optimizations by temporal logic.

David Lacey, Neil D. Jones, Eric Van Wyk, Carl Christian Frederiksen

Proceedings of the Conference Record of POPL 2002: The 29th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2002

Forwarding in Attribute Grammars for Modular Language Design.

Eric Van Wyk, Oege de Moor, Kevin Backhouse, Paul Kwiatkowski

Proceedings of the Compiler Construction, 11th International Conference, 2002

2000

Domain Specific Meta Languages.

Eric Van Wyk

Proceedings of the Applied Computing 2000, 2000

Meta Languages in Algebraic Compilers.

Eric Van Wyk

Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000

1999

Aspect-Oriented Compilers.

Oege de Moor, Simon L. Peyton Jones, Eric Van Wyk

Proceedings of the Generative and Component-Based Software Engineering, 1999

1998

Using Model Checking in a Parallelizing Compiler.

Teodor Rus, Eric Van Wyk

Parallel Process. Lett., 1998

1997

A Formal Approach to Parallelizing Compilers.

Teodor Rus, Eric Van Wyk

Proceedings of the Eighth SIAM Conference on Parallel Processing for Scientific Computing, 1997

Integrating Temporal Logics and Model Checking Algorithms.

Teodor Rus, Eric Van Wyk

Proceedings of the Transformation-Based Reactive Systems Development, 1997

An Algebraic Language Processing Environment.

Teodor Rus, Tom Halverson, Eric Van Wyk, Robert Kooima

Proceedings of the Algebraic Methodology and Software Technology, 1997