default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDEric Van Wyk
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[c43]Eric Van Wyk:
Context in Parsing: Techniques and Applications. Eelco Visser Commemorative Symposium 2023: 30:1-30:10- [c42]Lucas Kramer, Eric Van Wyk:
Sharing Trees and Contextual Information: Re-imagining Forwarding in Attribute Grammars. SLE 2023: 56-69 - [c41]Nathan Ringo, Lucas Kramer, Eric Van Wyk:
Nanopass Attribute Grammars. SLE 2023: 70-83 - [i2]Dawn Michaelson, Gopalan Nadathur, Eric Van Wyk:
A Modular Approach to Metatheoretic Reasoning for Extensible Languages. CoRR abs/2312.14374 (2023) - 2021
- [j20]Lucas Kramer, Ted Kaminski, Eric Van Wyk:
Reflection of terms in attribute grammars: Design and applications. J. Comput. Lang. 64: 101033 (2021) - 2020
- [j19]Manuel Leduc, Thomas Degueule
, Eric Van Wyk, Benoît Combemale:
The Software Language Extension Problem. Softw. Syst. Model. 19(2): 263-267 (2020) - [c40]Dawn Michaelson, Eric Van Wyk:
Monadification of attribute grammars. SLE 2020: 175-195 - [c39]Lucas Kramer, Eric Van Wyk:
Strategic tree rewriting in attribute grammars. SLE 2020: 210-229
2010 – 2019
- 2019
- [j18]Travis Carlson, Eric Van Wyk:
Type qualifiers as composable language extensions for code analysis and generation. J. Comput. Lang. 50: 49-69 (2019) - [c38]Lucas Kramer, Eric Van Wyk:
Parallel nondeterministic programming as a language extension to C (short paper). GPCE 2019: 20-26 - [c37]Lucas Kramer, Ted Kaminski, Eric Van Wyk:
Reflection in attribute grammars. GPCE 2019: 48-60 - [c36]Travis Carlson, Eric Van Wyk:
Building parallel programming language constructs in the AbleC extensible C compiler framework: a PPoPP tutorial. PPoPP 2019: 443-446 - 2018
- [e5]Eric Van Wyk, Tiark Rompf:
Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2018, Boston, MA, USA, November 5-6, 2018. ACM 2018, ISBN 978-1-4503-6045-6 [contents] - 2017
- [j17]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): 98:1-98:29 (2017) - [c35]Travis Carlson, Eric Van Wyk:
Type qualifiers as composable language extensions. GPCE 2017: 91-103 - [c34]Ted Kaminski, Eric Van Wyk:
Ensuring non-interference of composable language extensions. SLE 2017: 163-174 - [i1]Benoît Combemale, Ralf Lämmel, Eric Van Wyk:
SLEBOK: The Software Language Engineering Body of Knowledge (Dagstuhl Seminar 17342). Dagstuhl Reports 7(8): 45-54 (2017) - 2016
- [j16]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: 2-28 (2016) - 2015
- [j15]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: 1-2 (2015) - [j14]Ted Kaminski, Eric Van Wyk:
A modular specification of Oberon0 using the Silver attribute grammar system. Sci. Comput. Program. 114: 33-44 (2015) - 2014
- [j13]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: 124-137 (2014) - [j12]Claus Brabrand, Eric Van Wyk:
Preface to the Special Section on Language Descriptions, Tools, and Applications (LDTA 2011). Sci. Comput. Program. 87: 1 (2014) - [j11]Lijesh Krishnan, Eric Van Wyk:
Monolithic and modular termination analyses for higher-order attribute grammars. Sci. Comput. Program. 96: 511-526 (2014) - [c33]Kevin Williams, Matthew Le, Ted Kaminski, Eric Van Wyk:
A Compiler Extension for Parallel Matrix Programming. ICPP 2014: 471-480 - [c32]Pedro Martins, João Saraiva, João Paulo Fernandes, Eric Van Wyk:
Generating attribute grammar-based bidirectional transformations from rewrite rules. PEPM 2014: 63-70 - [c31]Kevin Williams, Eric Van Wyk:
Origin Tracking in Attribute Grammars. SLE 2014: 282-301 - 2013
- [c30]Ted Kaminski, Eric Van Wyk:
Creating and using domain-specific language features. GlobalDSL@ECOOP 2013: 18-21 - [e4]Martin Erwig, Richard F. Paige, Eric Van Wyk:
Software Language Engineering - 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings. Lecture Notes in Computer Science 8225, Springer 2013, ISBN 978-3-319-02653-4 [contents] - 2012
- [c29]Steve Tousignant, Eric Van Wyk, Maria L. Gini:
XRobots: A flexible language for programming mobile robots based on hierarchical state machines. ICRA 2012: 1773-1778 - [c28]Lijesh Krishnan, Eric Van Wyk:
Termination Analysis for Higher-Order Attribute Grammars. SLE 2012: 44-63 - [c27]Ted Kaminski, Eric Van Wyk:
Modular Well-Definedness Analysis for Attribute Grammars. SLE 2012: 352-371 - 2011
- [c26]Claus Brabrand, Eric Van Wyk:
Preface. LDTA 2011 - [c25]Ted Kaminski, Eric Van Wyk:
Integrating Attribute Grammar and Functional Programming Language Features. SLE 2011: 263-282 - [c24]Yogesh Mali, Eric Van Wyk:
Building Extensible Specifications and Implementations of Promela with AbleP. SPIN 2011: 108-125 - [e3]Claus Brabrand, Eric Van Wyk:
Language Descriptions, Tools and Applications, LDTA 2011, Saarbrücken, Germany, March 26-27, 2011. Proceeding. ACM 2011, ISBN 978-1-4503-0665-2 [contents] - 2010
- [j10]Eric Van Wyk, Derek Bodin, Jimin Gao, Lijesh Krishnan:
Silver: An extensible attribute grammar system. Sci. Comput. Program. 75(1-2): 39-54 (2010)
2000 – 2009
- 2009
- [j9]David J. Montana, Eric Van Wyk, Marshall Brinn, Joshua Montana, Stephen Milligan:
Evolution of internal dynamics for neural network nodes. Evol. Intell. 1(4): 233-251 (2009) - [j8]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): 203-215 (2009) - [c23]August Schwerdfeger, Eric Van Wyk:
Verifiable composition of deterministic grammars. PLDI 2009: 199-210 - [c22]August Schwerdfeger, Eric Van Wyk:
Verifiable Parse Table Composition for Deterministic Parsing. SLE 2009: 184-203 - [e2]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. Lecture Notes in Computer Science 5452, Springer 2009, ISBN 978-3-642-00433-9 [contents] - 2007
- [j7]Eric Van Wyk:
Implementing aspect-oriented programming constructs as modular language extensions. Sci. Comput. Program. 68(1): 38-61 (2007) - [c21]Eric Van Wyk, Lijesh Krishnan, Derek Bodin, August Schwerdfeger:
Attribute Grammar-Based Language Extensions for Java. ECOOP 2007: 575-599 - [c20]Jimin Gao, Mats Per Erik Heimdahl, Eric Van Wyk:
Flexible and Extensible Notations for Modeling Languages. FASE 2007: 102-116 - [c19]Eric Van Wyk, August Schwerdfeger:
Context-aware scanning for parsing extensible languages. GPCE 2007: 63-72 - [c18]Eric Van Wyk, Yogesh Mali:
Adding Dimension Analysis to Java as a Composable Language Extension. GTTSE 2007: 442-456 - [c17]Eric Van Wyk, Eric Johnson:
Composable Language Extensions for Computational Geometry: A Case Study. HICSS 2007: 258 - [c16]Eric Van Wyk, Derek Bodin, Jimin Gao, Lijesh Krishnan:
Silver: an Extensible Attribute Grammar System. LDTA@ETAPS 2007: 103-116 - [c15]Jimin Gao, Mike Whalen, Eric Van Wyk:
Extending Lustre with Timeout Automata. SLA++P@ETAPS 2007: 111-124 - 2006
- [j6]Görel Hedin, Eric Van Wyk:
Preface. Sci. Comput. Program. 61(3): 189 (2006) - [c14]David J. Montana, Eric Van Wyk, Marshall Brinn, Joshua Montana, Stephen Milligan:
Genomic computing networks learn complex POMDPs. GECCO 2006: 233-234 - [c13]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 - [c12]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 - [c11]Eric Van Wyk, Lijesh Krishnan:
Using Verified Data-Flow Analysis-based Optimizations in Attribute Grammars. COCV@ETAPS 2006: 109-122 - 2004
- [j5]David Lacey, Neil D. Jones, Eric Van Wyk, Carl Christian Frederiksen:
Compiler Optimization Correctness by Temporal Logic. High. Order Symb. Comput. 17(3): 173-206 (2004) - [c10]Görel Hedin, Eric Van Wyk:
Preface. LDTA@ETAPS 2004: 1-2 - [e1]Görel Hedin, Eric Van Wyk:
Proceedings of the Fourth Workshop on Language Descriptions, Tools, and Applications, LDTA@ETAPS 2004, Barcelona, Spain, April 3, 2004. Electronic Notes in Theoretical Computer Science 110, Elsevier 2004 [contents] - 2003
- [j4]Oege de Moor, David Lacey, Eric Van Wyk:
Universal Regular Path Queries. High. Order Symb. Comput. 16(1-2): 15-35 (2003) - [j3]Eric Van Wyk:
Specification languages in algebraic compilers. Theor. Comput. Sci. 291(3): 351-385 (2003) - [c9]Eric Van Wyk:
Aspects as Modular Language Extensions. LDTA@ETAPS 2003: 555-574 - 2002
- [j2]Teodor Rus, Eric Van Wyk, Tom Halverson:
Generating Model Checkers from Algebraic Specifications. Formal Methods Syst. Des. 20(3): 249-284 (2002) - [c8]Eric Van Wyk, Oege de Moor, Kevin Backhouse, Paul Kwiatkowski:
Forwarding in Attribute Grammars for Modular Language Design. CC 2002: 128-142 - [c7]David Lacey, Neil D. Jones, Eric Van Wyk, Carl Christian Frederiksen:
Proving correctness of compiler optimizations by temporal logic. POPL 2002: 283-294 - 2000
- [c6]Eric Van Wyk:
Meta Languages in Algebraic Compilers. AMAST 2000: 119-134 - [c5]Eric Van Wyk:
Domain Specific Meta Languages. SAC (2) 2000: 799-803
1990 – 1999
- 1999
- [c4]Oege de Moor, Simon L. Peyton Jones, Eric Van Wyk:
Aspect-Oriented Compilers. GCSE 1999: 121-133 - 1998
- [j1]Teodor Rus, Eric Van Wyk:
Using Model Checking in a Parallelizing Compiler. Parallel Process. Lett. 8(4): 459-471 (1998) - 1997
- [c3]Teodor Rus, Tom Halverson, Eric Van Wyk, Robert Kooima:
An Algebraic Language Processing Environment. AMAST 1997: 581-585 - [c2]Teodor Rus, Eric Van Wyk:
Integrating Temporal Logics and Model Checking Algorithms. ARTS 1997: 95-110 - [c1]Teodor Rus, Eric Van Wyk:
A Formal Approach to Parallelizing Compilers. PP 1997
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-07 21:34 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
