Остановите войну!
for scientists:
default search action
Eric Van Wyk
- > Home > Persons > Eric Van Wyk
Publications
- 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) - 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
- [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) - 2014
- [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 - 2013
- [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] - 2009
- [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] - 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) - 2003
- [j4]Oege de Moor, David Lacey, Eric Van Wyk:
Universal Regular Path Queries. High. Order Symb. Comput. 16(1-2): 15-35 (2003) - 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 - 1999
- [c4]Oege de Moor, Simon L. Peyton Jones, Eric Van Wyk:
Aspect-Oriented Compilers. GCSE 1999: 121-133
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-04-25 05:57 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint