@inproceedings{WykKBS07, title = {Attribute Grammar-Based Language Extensions for Java}, author = {Eric {Van Wyk} and Lijesh Krishnan and Derek Bodin and August Schwerdfeger}, year = {2007}, doi = {10.1007/978-3-540-73589-2_27}, url = {http://dx.doi.org/10.1007/978-3-540-73589-2_27}, tags = {rule-based, Java, attribute grammars, ableJ, grammar}, researchr = {https://researchr.org/publication/WykKBS07}, cites = {0}, citedby = {5}, pages = {575-599}, booktitle = {ECOOP}, } @article{CombemaleLW17, title = {SLEBOK: The Software Language Engineering Body of Knowledge (Dagstuhl Seminar 17342)}, author = {Benoît Combemale and Ralf Lämmel and Eric {Van Wyk}}, year = {2017}, doi = {10.4230/DagRep.7.8.45}, url = {https://doi.org/10.4230/DagRep.7.8.45}, researchr = {https://researchr.org/publication/CombemaleLW17}, cites = {0}, citedby = {0}, journal = {dagstuhl-reports}, volume = {7}, number = {8}, pages = {45-54}, } @article{10.1109-SCAM.2006.32, title = {Tool Demonstration: Silver Extensible Compiler Frameworks and Modular Language Extensions for Java and C}, author = {Eric {Van Wyk} and Lijesh Krishnan and Derek Bodin and Eric Johnson and August Schwerdfeger and Phil Russell}, year = {2006}, doi = {10.1109/SCAM.2006.32}, url = {http://doi.ieeecomputersociety.org/10.1109/SCAM.2006.32}, tags = {Java, C++, compiler, extensible language}, researchr = {https://researchr.org/publication/10.1109-SCAM.2006.32}, cites = {0}, citedby = {0}, journal = {Source Code Analysis and Manipulation, IEEE International Workshop on}, volume = {0}, } @inproceedings{KramerW19, title = {Parallel nondeterministic programming as a language extension to C (short paper)}, author = {Lucas Kramer and Eric {Van Wyk}}, year = {2019}, doi = {10.1145/3357765.3359524}, url = {https://doi.org/10.1145/3357765.3359524}, researchr = {https://researchr.org/publication/KramerW19}, cites = {0}, citedby = {0}, pages = {20-26}, booktitle = {GPCE}, } @inproceedings{MartinsSFW14, title = {Generating attribute grammar-based bidirectional transformations from rewrite rules}, author = {Pedro Martins and João Saraiva and João Paulo Fernandes and Eric {Van Wyk}}, year = {2014}, doi = {10.1145/2543728.2543745}, url = {http://doi.acm.org/10.1145/2543728.2543745}, researchr = {https://researchr.org/publication/MartinsSFW14}, cites = {0}, citedby = {0}, pages = {63-70}, booktitle = {PEPM}, } @article{RusWH02, title = {Generating Model Checkers from Algebraic Specifications}, author = {Teodor Rus and Eric {Van Wyk} and Tom Halverson}, year = {2002}, tags = {algebraic specification, algebra}, researchr = {https://researchr.org/publication/RusWH02}, cites = {0}, citedby = {0}, journal = {fmsd}, volume = {20}, number = {3}, pages = {249-284}, } @inproceedings{MaliW11, title = {Building Extensible Specifications and Implementations of Promela with AbleP}, author = {Yogesh Mali and Eric {Van Wyk}}, year = {2011}, doi = {10.1007/978-3-642-22306-8_8}, url = {http://dx.doi.org/10.1007/978-3-642-22306-8_8}, researchr = {https://researchr.org/publication/MaliW11}, cites = {0}, citedby = {0}, pages = {108-125}, booktitle = {spin}, } @inproceedings{KrishnanW12, title = {Termination Analysis for Higher-Order Attribute Grammars}, author = {Lijesh Krishnan and Eric {Van Wyk}}, year = {2012}, doi = {10.1007/978-3-642-36089-3_4}, url = {http://dx.doi.org/10.1007/978-3-642-36089-3_4}, researchr = {https://researchr.org/publication/KrishnanW12}, cites = {0}, citedby = {0}, pages = {44-63}, booktitle = {SLE}, } @article{MontanaWBMM09, title = {Evolution of internal dynamics for neural network nodes}, author = {David J. Montana and Eric {Van Wyk} and Marshall Brinn and Joshua Montana and Stephen Milligan}, year = {2009}, doi = {10.1007/s12065-009-0017-0}, url = {http://dx.doi.org/10.1007/s12065-009-0017-0}, researchr = {https://researchr.org/publication/MontanaWBMM09}, cites = {0}, citedby = {0}, journal = {evi}, volume = {1}, number = {4}, pages = {233-251}, } @inproceedings{CarlsonW17, title = {Type qualifiers as composable language extensions}, author = {Travis Carlson and Eric {Van Wyk}}, year = {2017}, doi = {10.1145/3136040.3136055}, url = {http://doi.acm.org/10.1145/3136040.3136055}, researchr = {https://researchr.org/publication/CarlsonW17}, cites = {0}, citedby = {0}, pages = {91-103}, booktitle = {GPCE}, } @article{HedinW04, title = {Preface}, author = {Görel Hedin and Eric {Van Wyk}}, year = {2004}, doi = {10.1016/j.entcs.2004.09.024}, url = {http://dx.doi.org/10.1016/j.entcs.2004.09.024}, researchr = {https://researchr.org/publication/HedinW04}, cites = {0}, citedby = {0}, journal = {ENTCS}, volume = {110}, pages = {1-2}, } @article{WykBGK08, title = {Silver: an Extensible Attribute Grammar System}, author = {Eric {Van Wyk} and Derek Bodin and Jimin Gao and Lijesh Krishnan}, year = {2008}, doi = {10.1016/j.entcs.2008.03.047}, url = {http://dx.doi.org/10.1016/j.entcs.2008.03.047}, tags = {attribute grammars, grammar}, researchr = {https://researchr.org/publication/WykBGK08}, cites = {0}, citedby = {1}, journal = {ENTCS}, volume = {203}, number = {2}, pages = {103-116}, } @inproceedings{WykM07, title = {Adding Dimension Analysis to Java as a Composable Language Extension}, author = {Eric {Van Wyk} and Yogesh Mali}, year = {2007}, doi = {10.1007/978-3-540-88643-3_12}, url = {http://dx.doi.org/10.1007/978-3-540-88643-3_12}, tags = {Java, analysis}, researchr = {https://researchr.org/publication/WykM07}, cites = {0}, citedby = {0}, pages = {442-456}, booktitle = {GTTSE}, } @article{LaceyJWF04, title = {Compiler Optimization Correctness by Temporal Logic}, author = {David Lacey and Neil D. Jones and Eric {Van Wyk} and Carl Christian Frederiksen}, year = {2004}, doi = {10.1023/B:LISP.0000029444.99264.c0}, url = {http://dx.doi.org/10.1023/B:LISP.0000029444.99264.c0}, tags = {optimization, model checking, compiler verification, temporal logic, compiler, logic, optimizing compilers}, researchr = {https://researchr.org/publication/LaceyJWF04}, cites = {0}, citedby = {0}, journal = {lisp}, volume = {17}, number = {3}, pages = {173-206}, } @inproceedings{GaoHW07, title = {Flexible and Extensible Notations for Modeling Languages}, author = {Jimin Gao and Mats Per Erik Heimdahl and Eric {Van Wyk}}, year = {2007}, doi = {10.1007/978-3-540-71289-3_9}, url = {http://dx.doi.org/10.1007/978-3-540-71289-3_9}, tags = {modeling language, modeling, language modeling, extensible language}, researchr = {https://researchr.org/publication/GaoHW07}, cites = {0}, citedby = {0}, pages = {102-116}, booktitle = {FASE}, } @inproceedings{MoorPW99, title = {Aspect-Oriented Compilers}, author = {Oege de Moor and Simon L. Peyton Jones and Eric {Van Wyk}}, year = {1999}, url = {http://link.springer.de/link/service/series/0558/bibs/1799/17990121.htm}, tags = {compiler}, researchr = {https://researchr.org/publication/MoorPW99}, cites = {0}, citedby = {0}, pages = {121-133}, booktitle = {gcse}, } @inproceedings{WilliamsW14-0, title = {Origin Tracking in Attribute Grammars}, author = {Kevin Williams and Eric {Van Wyk}}, year = {2014}, doi = {10.1007/978-3-319-11245-9_16}, url = {http://dx.doi.org/10.1007/978-3-319-11245-9_16}, researchr = {https://researchr.org/publication/WilliamsW14-0}, cites = {0}, citedby = {0}, pages = {282-301}, booktitle = {SLE}, } @inproceedings{WilliamsLKW14, title = {A Compiler Extension for Parallel Matrix Programming}, author = {Kevin Williams and Matthew Le and Ted Kaminski and Eric {Van Wyk}}, year = {2014}, doi = {10.1109/ICPP.2014.56}, url = {http://dx.doi.org/10.1109/ICPP.2014.56}, researchr = {https://researchr.org/publication/WilliamsLKW14}, cites = {0}, citedby = {0}, pages = {471-480}, booktitle = {icpp}, } @inproceedings{BrabrandW11, title = {Preface}, author = {Claus Brabrand and Eric {Van Wyk}}, year = {2011}, researchr = {https://researchr.org/publication/BrabrandW11}, cites = {0}, citedby = {0}, booktitle = {LDTA}, } @inproceedings{WykKBJ06, title = {Adding domain-specific and general purpose language features to Java with the Java language extender}, author = {Eric {Van Wyk} and Lijesh Krishnan and Derek Bodin and Eric Johnson}, year = {2006}, doi = {10.1145/1176617.1176696}, url = {http://doi.acm.org/10.1145/1176617.1176696}, tags = {Java, domain-specific language}, researchr = {https://researchr.org/publication/WykKBJ06}, cites = {0}, citedby = {1}, pages = {728-729}, booktitle = {OOPSLA}, } @article{CarlsonW19-0, title = {Type qualifiers as composable language extensions for code analysis and generation}, author = {Travis Carlson and Eric {Van Wyk}}, year = {2019}, doi = {10.1016/j.jvlc.2018.10.008}, url = {https://doi.org/10.1016/j.jvlc.2018.10.008}, researchr = {https://researchr.org/publication/CarlsonW19-0}, cites = {0}, citedby = {0}, journal = {JCL (JVLC)}, volume = {50}, pages = {49-69}, } @article{WykK07, title = {Using Verified Data-Flow Analysis-based Optimizations in Attribute Grammars}, author = {Eric {Van Wyk} and Lijesh Krishnan}, year = {2007}, doi = {10.1016/j.entcs.2006.06.020}, url = {http://dx.doi.org/10.1016/j.entcs.2006.06.020}, tags = {optimization, rule-based, attribute grammars, analysis, data-flow, data-flow analysis, grammar}, researchr = {https://researchr.org/publication/WykK07}, cites = {0}, citedby = {0}, journal = {ENTCS}, volume = {176}, number = {3}, pages = {109-122}, } @article{Wyk03:0, title = {Aspects as Modular Language Extensions}, author = {Eric {Van Wyk}}, year = {2003}, url = {http://www1.elsevier.com/gej-ng/31/29/23/133/52/show/Products/notes/index.htt#007}, researchr = {https://researchr.org/publication/Wyk03%3A0}, cites = {0}, citedby = {0}, journal = {ENTCS}, volume = {82}, number = {3}, pages = {555-574}, } @inproceedings{LaceyJWF02, title = {Proving correctness of compiler optimizations by temporal logic}, author = {David Lacey and Neil D. Jones and Eric {Van Wyk} and Carl Christian Frederiksen}, year = {2002}, doi = {10.1145/503272.503299}, url = {http://doi.acm.org/10.1145/503272.503299}, tags = {optimization, compiler, logic}, researchr = {https://researchr.org/publication/LaceyJWF02}, cites = {0}, citedby = {0}, pages = {283-294}, booktitle = {POPL}, } @inproceedings{CarlsonW19, title = {Building parallel programming language constructs in the AbleC extensible C compiler framework: a PPoPP tutorial}, author = {Travis Carlson and Eric {Van Wyk}}, year = {2019}, doi = {10.1145/3293883.3302574}, url = {https://doi.org/10.1145/3293883.3302574}, researchr = {https://researchr.org/publication/CarlsonW19}, cites = {0}, citedby = {0}, pages = {443-446}, booktitle = {ppopp}, } @article{GaoWW08, title = {Extending Lustre with Timeout Automata}, author = {Jimin Gao and Mike Whalen and Eric {Van Wyk}}, year = {2008}, doi = {10.1016/j.entcs.2008.05.014}, url = {http://dx.doi.org/10.1016/j.entcs.2008.05.014}, researchr = {https://researchr.org/publication/GaoWW08}, cites = {0}, citedby = {0}, journal = {ENTCS}, volume = {203}, number = {4}, pages = {111-124}, } @article{Wyk03, title = {Specification languages in algebraic compilers}, author = {Eric {Van Wyk}}, year = {2003}, tags = {algebraic specification, compiler, algebra}, researchr = {https://researchr.org/publication/Wyk03}, cites = {0}, citedby = {0}, journal = {TCS}, volume = {291}, number = {3}, pages = {351-385}, } @inproceedings{Wyk00, title = {Meta Languages in Algebraic Compilers}, author = {Eric {Van Wyk}}, year = {2000}, url = {http://link.springer.de/link/service/series/0558/bibs/1816/18160119.htm}, tags = {meta-model, compiler, algebra, Meta-Environment, meta-objects}, researchr = {https://researchr.org/publication/Wyk00}, cites = {0}, citedby = {0}, pages = {119-134}, booktitle = {amast}, } @inproceedings{KaminskiW13, title = {Creating and using domain-specific language features}, author = {Ted Kaminski and Eric {Van Wyk}}, year = {2013}, doi = {10.1145/2489812.2489817}, url = {http://doi.acm.org/10.1145/2489812.2489817}, researchr = {https://researchr.org/publication/KaminskiW13}, cites = {0}, citedby = {0}, pages = {18-21}, booktitle = {ECOOP}, } @inproceedings{TousignantWG12, title = {XRobots: A flexible language for programming mobile robots based on hierarchical state machines}, author = {Steve Tousignant and Eric {Van Wyk} and Maria L. Gini}, year = {2012}, doi = {10.1109/ICRA.2012.6225145}, url = {http://dx.doi.org/10.1109/ICRA.2012.6225145}, researchr = {https://researchr.org/publication/TousignantWG12}, cites = {0}, citedby = {0}, pages = {1773-1778}, booktitle = {icra}, } @article{RusW98, title = {Using Model Checking in a Parallelizing Compiler}, author = {Teodor Rus and Eric {Van Wyk}}, year = {1998}, tags = {model checking, meta-model, compiler, Meta-Environment}, researchr = {https://researchr.org/publication/RusW98}, cites = {0}, citedby = {0}, journal = {ppl}, volume = {8}, number = {4}, pages = {459-471}, } @inproceedings{RusHWK97, title = {An Algebraic Language Processing Environment}, author = {Teodor Rus and Tom Halverson and Eric {Van Wyk} and Robert Kooima}, year = {1997}, tags = {meta-model, process algebra, algebra, Meta-Environment, meta-objects}, researchr = {https://researchr.org/publication/RusHWK97}, cites = {0}, citedby = {0}, pages = {581-585}, booktitle = {amast}, } @article{WykH09, title = {Flexibility in modeling languages and tools: a call to arms}, author = {Eric {Van Wyk} and Mats Per Erik Heimdahl}, year = {2009}, doi = {10.1007/s10009-009-0107-4}, url = {http://dx.doi.org/10.1007/s10009-009-0107-4}, tags = {modeling language, modeling, language modeling}, researchr = {https://researchr.org/publication/WykH09}, cites = {0}, citedby = {0}, journal = {STTT}, volume = {11}, number = {3}, pages = {203-215}, } @article{KaminskiKCW17, title = {Reliable and automatic composition of language extensions to C: the ableC extensible language framework}, author = {Ted Kaminski and Lucas Kramer and Travis Carlson and Eric {Van Wyk}}, year = {2017}, doi = {10.1145/3138224}, url = {http://doi.acm.org/10.1145/3138224}, researchr = {https://researchr.org/publication/KaminskiKCW17}, cites = {0}, citedby = {0}, journal = {PACMPL}, volume = {1}, number = {OOPSLA}, } @article{BrabrandW14, title = {Preface to the Special Section on Language Descriptions, Tools, and Applications (LDTA 2011)}, author = {Claus Brabrand and Eric {Van Wyk}}, year = {2014}, doi = {10.1016/j.scico.2013.09.009}, url = {http://dx.doi.org/10.1016/j.scico.2013.09.009}, researchr = {https://researchr.org/publication/BrabrandW14}, cites = {0}, citedby = {0}, journal = {SCP}, volume = {87}, pages = {1}, } @inproceedings{WykJ07, title = {Composable Language Extensions for Computational Geometry: A Case Study}, author = {Eric {Van Wyk} and Eric Johnson}, year = {2007}, doi = {10.1109/HICSS.2007.139}, url = {http://doi.ieeecomputersociety.org/10.1109/HICSS.2007.139}, tags = {case study}, researchr = {https://researchr.org/publication/WykJ07}, cites = {0}, citedby = {0}, pages = {258}, booktitle = {hicss}, } @techreport{Wyk01intentionalprogramming:, title = {Intentional Programming: a Host of Language Features}, author = {Eric {Van Wyk} and Oege de Moor and Ganesh Sittampalam and Ivan Sanabria Piretti and Kevin Backhouse and Paul Kwiatkowski}, year = {2001}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.20.5286}, tags = {programming languages, programming}, researchr = {https://researchr.org/publication/Wyk01intentionalprogramming%3A}, cites = {0}, citedby = {0}, institution = {Oxford University Computing Laboratory }, address = {Wolfson Building, Parks Road, Oxford OX1 3QD}, } @article{KrishnanW14, title = {Monolithic and modular termination analyses for higher-order attribute grammars}, author = {Lijesh Krishnan and Eric {Van Wyk}}, year = {2014}, doi = {10.1016/j.scico.2014.05.016}, url = {http://dx.doi.org/10.1016/j.scico.2014.05.016}, researchr = {https://researchr.org/publication/KrishnanW14}, cites = {0}, citedby = {0}, journal = {SCP}, volume = {96}, pages = {511-526}, } @article{RangarajanKWBD14, title = {Language-oriented rule-based reaction network generation and analysis: Algorithms of RING}, author = {Srinivas Rangarajan and Ted Kaminski and Eric {Van Wyk} and Aditya Bhan and Prodromos Daoutidis}, year = {2014}, doi = {10.1016/j.compchemeng.2014.02.007}, url = {http://dx.doi.org/10.1016/j.compchemeng.2014.02.007}, researchr = {https://researchr.org/publication/RangarajanKWBD14}, cites = {0}, citedby = {0}, journal = {cce}, volume = {64}, pages = {124-137}, } @inproceedings{Wyk00:0, title = {Domain Specific Meta Languages}, author = {Eric {Van Wyk}}, year = {2000}, tags = {meta-model, Meta-Environment, meta-objects, domain-specific language}, researchr = {https://researchr.org/publication/Wyk00%3A0}, cites = {0}, citedby = {0}, pages = {799-803}, booktitle = {SAC}, } @article{KaminskiW15, title = {A modular specification of Oberon0 using the Silver attribute grammar system}, author = {Ted Kaminski and Eric {Van Wyk}}, year = {2015}, doi = {10.1016/j.scico.2015.10.009}, url = {http://dx.doi.org/10.1016/j.scico.2015.10.009}, researchr = {https://researchr.org/publication/KaminskiW15}, cites = {0}, citedby = {0}, journal = {SCP}, volume = {114}, pages = {33-44}, } @inproceedings{MontanaWBMM06, title = {Genomic computing networks learn complex POMDPs}, author = {David J. Montana and Eric {Van Wyk} and Marshall Brinn and Joshua Montana and Stephen Milligan}, year = {2006}, doi = {10.1145/1143997.1144037}, url = {http://doi.acm.org/10.1145/1143997.1144037}, researchr = {https://researchr.org/publication/MontanaWBMM06}, cites = {0}, citedby = {0}, pages = {233-234}, booktitle = {gecco}, } @inproceedings{WykS07, title = {Context-aware scanning for parsing extensible languages}, author = {Eric {Van Wyk} and August Schwerdfeger}, year = {2007}, doi = {10.1145/1289971.1289983}, url = {http://doi.acm.org/10.1145/1289971.1289983}, tags = {context-aware, parsing, extensible language}, researchr = {https://researchr.org/publication/WykS07}, cites = {0}, citedby = {1}, pages = {63-72}, booktitle = {GPCE}, } @inproceedings{KaminskiW12, title = {Modular Well-Definedness Analysis for Attribute Grammars}, author = {Ted Kaminski and Eric {Van Wyk}}, year = {2012}, doi = {10.1007/978-3-642-36089-3_20}, url = {http://dx.doi.org/10.1007/978-3-642-36089-3_20}, researchr = {https://researchr.org/publication/KaminskiW12}, cites = {0}, citedby = {0}, pages = {352-371}, booktitle = {SLE}, } @inproceedings{SchwerdfegerW09, title = {Verifiable composition of deterministic grammars}, author = {August Schwerdfeger and Eric {Van Wyk}}, year = {2009}, doi = {10.1145/1542476.1542499}, url = {http://doi.acm.org/10.1145/1542476.1542499}, tags = {composition, grammar}, researchr = {https://researchr.org/publication/SchwerdfegerW09}, cites = {0}, citedby = {0}, pages = {199-210}, booktitle = {PLDI}, } @article{MartinsFSWS16, title = {Embedding attribute grammars and their extensions using functional zippers}, author = {Pedro Martins 0001 and João Paulo Fernandes and João Saraiva and Eric {Van Wyk} and Anthony Sloane}, year = {2016}, doi = {10.1016/j.scico.2016.03.005}, url = {http://dx.doi.org/10.1016/j.scico.2016.03.005}, researchr = {https://researchr.org/publication/MartinsFSWS16}, cites = {0}, citedby = {0}, journal = {SCP}, volume = {132}, pages = {2-28}, } @article{WykBGK10, title = {Silver: An extensible attribute grammar system}, author = {Eric {Van Wyk} and Derek Bodin and Jimin Gao and Lijesh Krishnan}, year = {2010}, doi = {10.1016/j.scico.2009.07.004}, url = {http://dx.doi.org/10.1016/j.scico.2009.07.004}, tags = {attribute grammars, grammar}, researchr = {https://researchr.org/publication/WykBGK10}, cites = {0}, citedby = {0}, journal = {SCP}, volume = {75}, number = {1-2}, pages = {39-54}, } @inproceedings{WykKBJSR06, title = {Tool Demonstration: Silver Extensible Compiler Frameworks and Modular Language Extensions for Java and C}, author = {Eric {Van Wyk} and Lijesh Krishnan and Derek Bodin and Eric Johnson and August Schwerdfeger and Phil Russell}, year = {2006}, doi = {10.1109/SCAM.2006.32}, url = {http://doi.ieeecomputersociety.org/10.1109/SCAM.2006.32}, tags = {Java, C++, compiler, extensible language}, researchr = {https://researchr.org/publication/WykKBJSR06}, cites = {0}, citedby = {0}, pages = {161}, booktitle = {SCAM}, } @inproceedings{RusW97:0, title = {A Formal Approach to Parallelizing Compilers}, author = {Teodor Rus and Eric {Van Wyk}}, year = {1997}, tags = {compiler, systematic-approach}, researchr = {https://researchr.org/publication/RusW97%3A0}, cites = {0}, citedby = {0}, booktitle = {ppsc}, } @inproceedings{KaminskiW11, title = {Integrating Attribute Grammar and Functional Programming Language Features}, author = {Ted Kaminski and Eric {Van Wyk}}, year = {2011}, doi = {10.1007/978-3-642-28830-2_15}, url = {http://dx.doi.org/10.1007/978-3-642-28830-2_15}, researchr = {https://researchr.org/publication/KaminskiW11}, cites = {0}, citedby = {0}, pages = {263-282}, booktitle = {SLE}, } @article{CombemalePPW15, title = {Special Issue on the 6th and 7th International Conferences on Software Language Engineering (SLE 2013 and SLE 2014)}, author = {Benoît Combemale and David J. Pearce and Richard F. Paige and Eric {Van Wyk}}, year = {2015}, doi = {10.1016/j.cl.2015.08.009}, url = {http://dx.doi.org/10.1016/j.cl.2015.08.009}, researchr = {https://researchr.org/publication/CombemalePPW15}, cites = {0}, citedby = {0}, journal = {Comp. Lang., Syst. \& Struct.}, volume = {44}, pages = {1-2}, } @inproceedings{RusW97, title = {Integrating Temporal Logics and Model Checking Algorithms}, author = {Teodor Rus and Eric {Van Wyk}}, year = {1997}, tags = {model checking, meta-model, logic, Meta-Environment}, researchr = {https://researchr.org/publication/RusW97}, cites = {0}, citedby = {0}, pages = {95-110}, booktitle = {arts}, } @article{Wyk07, title = {Implementing aspect-oriented programming constructs as modular language extensions}, author = {Eric {Van Wyk}}, year = {2007}, doi = {10.1016/j.scico.2005.06.006}, url = {http://dx.doi.org/10.1016/j.scico.2005.06.006}, tags = {programming languages, object-oriented programming, aspect oriented programming, programming, subject-oriented programming, feature-oriented programming}, researchr = {https://researchr.org/publication/Wyk07}, cites = {0}, citedby = {0}, journal = {SCP}, volume = {68}, number = {1}, pages = {38-61}, } @inproceedings{KaminskiW17, title = {Ensuring non-interference of composable language extensions}, author = {Ted Kaminski and Eric {Van Wyk}}, year = {2017}, doi = {10.1145/3136014.3136023}, url = {http://doi.acm.org/10.1145/3136014.3136023}, researchr = {https://researchr.org/publication/KaminskiW17}, cites = {0}, citedby = {0}, pages = {163-174}, booktitle = {SLE}, } @inproceedings{WykMBK02, title = {Forwarding in Attribute Grammars for Modular Language Design}, author = {Eric {Van Wyk} and Oege de Moor and Kevin Backhouse and Paul Kwiatkowski}, year = {2002}, url = {http://link.springer.de/link/service/series/0558/bibs/2304/23040128.htm}, tags = {attribute grammars, language design, design, grammar}, researchr = {https://researchr.org/publication/WykMBK02}, cites = {0}, citedby = {4}, pages = {128-142}, booktitle = {CC}, } @article{LeducDWC20, title = {The Software Language Extension Problem}, author = {Manuel Leduc and Thomas Degueule and Eric {Van Wyk} and Benoît Combemale}, year = {2020}, doi = {10.1007/s10270-019-00772-7}, url = {https://doi.org/10.1007/s10270-019-00772-7}, researchr = {https://researchr.org/publication/LeducDWC20}, cites = {0}, citedby = {0}, journal = {SoSyM}, volume = {19}, number = {2}, pages = {263-267}, } @inproceedings{KramerKW19, title = {Reflection in attribute grammars}, author = {Lucas Kramer and Ted Kaminski and Eric {Van Wyk}}, year = {2019}, doi = {10.1145/3357765.3359517}, url = {https://doi.org/10.1145/3357765.3359517}, researchr = {https://researchr.org/publication/KramerKW19}, cites = {0}, citedby = {0}, pages = {48-60}, booktitle = {GPCE}, } @article{MoorLW03, title = {Universal Regular Path Queries}, author = {Oege de Moor and David Lacey and Eric {Van Wyk}}, year = {2003}, doi = {10.1023/A:1023063919574}, url = {http://dx.doi.org/10.1023/A:1023063919574}, researchr = {https://researchr.org/publication/MoorLW03}, cites = {0}, citedby = {0}, journal = {lisp}, volume = {16}, number = {1-2}, pages = {15-35}, } @inproceedings{SchwerdfegerW09-SLE, title = {Verifiable Parse Table Composition for Deterministic Parsing}, author = {August Schwerdfeger and Eric {Van Wyk}}, year = {2009}, doi = {10.1007/978-3-642-12107-4_15}, url = {http://dx.doi.org/10.1007/978-3-642-12107-4_15}, tags = {composition, parsing}, researchr = {https://researchr.org/publication/SchwerdfegerW09-SLE}, cites = {0}, citedby = {1}, pages = {184-203}, booktitle = {SLE}, } @proceedings{sle:2008, title = {Software Language Engineering, First International Conference, SLE 2008, Toulouse, France, September 29-30, 2008. Revised Selected Papers}, year = {2009}, doi = {10.1007/978-3-642-00434-6}, url = {http://dx.doi.org/10.1007/978-3-642-00434-6}, tags = {language engineering, software language engineering, software engineering}, researchr = {https://researchr.org/publication/sle%3A2008}, cites = {0}, citedby = {0}, booktitle = {Software Language Engineering, First International Conference, SLE 2008, Toulouse, France, September 29-30, 2008. Revised Selected Papers}, conference = {SLE}, editor = {Dragan Gasevic and Ralf Lämmel and Eric {Van Wyk}}, volume = {5452}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-00433-9}, } @proceedings{gpce-2018, title = {Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2018, Boston, MA, USA, November 5-6, 2018}, year = {2018}, doi = {10.1145/3278122}, url = {https://doi.org/10.1145/3278122}, researchr = {https://researchr.org/publication/gpce-2018}, cites = {0}, citedby = {0}, booktitle = {Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2018, Boston, MA, USA, November 5-6, 2018}, conference = {GPCE}, editor = {Eric {Van Wyk} and Tiark Rompf}, publisher = {ACM}, isbn = {978-1-4503-6045-6}, } @proceedings{sle-2013-0, title = {Software Language Engineering - 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings}, year = {2013}, doi = {10.1007/978-3-319-02654-1}, url = {http://dx.doi.org/10.1007/978-3-319-02654-1}, researchr = {https://researchr.org/publication/sle-2013-0}, cites = {0}, citedby = {0}, booktitle = {Software Language Engineering - 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings}, conference = {SLE}, editor = {Martin Erwig and Richard F. Paige and Eric {Van Wyk}}, volume = {8225}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-319-02653-4}, } @proceedings{ldta-2011, title = {Language Descriptions, Tools and Applications, LDTA 2011, Saarbrücken, Germany, March 26-27, 2011. Proceeding}, year = {2011}, researchr = {https://researchr.org/publication/ldta-2011}, cites = {0}, citedby = {0}, booktitle = {Language Descriptions, Tools and Applications, LDTA 2011, Saarbrücken, Germany, March 26-27, 2011. Proceeding}, conference = {LDTA}, editor = {Claus Brabrand and Eric {Van Wyk}}, publisher = {ACM}, isbn = {978-1-4503-0665-2}, } @proceedings{sle-2013, title = {6th International Conference on Software Language Engineering, Proceedings (SLE 2013)}, year = {2013}, researchr = {https://researchr.org/publication/sle-2013}, cites = {0}, citedby = {0}, booktitle = {6th International Conference on Software Language Engineering, Proceedings (SLE 2013)}, conference = {SLE}, editor = {Martin Erwig and Richard F. Paige and Eric {Van Wyk}}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, }