@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 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30 - August 3, 2007, Proceedings},
  editor = {Erik Ernst},
  volume = {4609},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-73588-5},
}

@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 = {Proceedings of the 18th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2019, Athens, Greece, October 21-22, 2019},
  editor = {Ina Schaefer and Christoph Reichenbach and Tijs van der Storm},
  publisher = {ACM},
  isbn = {978-1-4503-6980-0},
}

@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 = {Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, PEPM 2014, January 20-21, 2014, San Diego, California, USA},
  editor = {Wei-Ngan Chin and Jurriaan Hage},
  publisher = {ACM},
  isbn = {978-1-4503-2619-3},
}

@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 = {Formal Methods in System Design},
  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 = {Model Checking Software - 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings},
  editor = {Alex Groce and Madanlal Musuvathi},
  volume = {6823},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-22305-1},
}

@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 = {Software Language Engineering, 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers},
  editor = {Krzysztof Czarnecki and Görel Hedin},
  volume = {7745},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-36089-3},
}

@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 = {Evolutionary Intelligence},
  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 = {Proceedings of the 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2017, Vancouver, BC, Canada, October 23-24, 2017},
  editor = {Matthew Flatt and Sebastian Erdweg},
  publisher = {ACM},
  isbn = {978-1-4503-5524-7},
}

@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 = {Electronic Notes in Theoretical Computer Science},
  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 = {Electronic Notes in Theoretical Computer Science},
  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 = {Generative and Transformational Techniques in Software Engineering II, International Summer School, {GTTSE} 2007},
  editor = {Ralf Lämmel and Joost Visser and João Saraiva},
  volume = {5235},
  series = {Lecture Notes in Computer Science},
  address = {Braga, Portugal},
  publisher = {Springer},
  isbn = {978-3-540-88642-6},
}

@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 = {Higher-Order and Symbolic Computation},
  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 = {Fundamental Approaches to Software Engineering, 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings},
  editor = {Matthew B. Dwyer and Antónia Lopes},
  volume = {4422},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-71288-6},
}

@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 = {Generative and Component-Based Software Engineering, First International Symposium, GCSE 99, Erfurt, Germany, September 28-30, 1999, Revised Papers},
  editor = {Krzysztof Czarnecki and Ulrich W. Eisenecker},
  volume = {1799},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-41172-0},
}

@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 = {Software Language Engineering - 7th International Conference, SLE 2014, V\"asteras, Sweden, September 15-16, 2014. Proceedings},
  editor = {Benoît Combemale and David J. Pearce and Olivier Barais and Jurgen J.  Vinju},
  volume = {8706},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-11244-2},
}

@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 = {43rd International Conference on Parallel Processing, ICPP 2014, Minneapolis, MN, USA, September 9-12, 2014},
  publisher = {IEEE},
}

@inproceedings{BrabrandW11,
  title = {Preface},
  author = {Claus Brabrand and Eric {Van Wyk}},
  year = {2011},
  researchr = {https://researchr.org/publication/BrabrandW11},
  cites = {0},
  citedby = {0},
  booktitle = {Language Descriptions, Tools and Applications, LDTA 2011, Saarbrücken, Germany, March 26-27, 2011. Proceeding},
  editor = {Claus Brabrand and Eric {Van Wyk}},
  publisher = {ACM},
  isbn = {978-1-4503-0665-2},
}

@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 = {Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, October 22-26, 2006, Portland, Oregon, USA},
  editor = {Peri L. Tarr and William R. Cook},
  publisher = {ACM},
  isbn = {1-59593-491-X},
}

@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 = {Journal of Computer Languages},
  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 = {Electronic Notes in Theoretical Computer Science},
  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 = {Electronic Notes in Theoretical Computer Science},
  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 = {Proceedings of the 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019},
  editor = {Jeffrey K. Hollingsworth and Idit Keidar},
  publisher = {ACM},
  isbn = {978-1-4503-6225-2},
}

@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 = {Electronic Notes in Theoretical Computer Science},
  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 = {Theoretical Computer Science},
  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 = {Algebraic Methodology and Software Technology.  8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings},
  editor = {Teodor Rus},
  volume = {1816},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-67530-2},
}

@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 = {Proceedings of the First Workshop on the Globalization of Domain Specific Languages, GlobalDSL@ECOOP 2013, Montpellier, France, July 1, 2013},
  editor = {Benoît Combemale and Walter Cazzola and Robert B. France},
  publisher = {ACM},
  isbn = {978-1-4503-2043-6},
}

@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 = {IEEE International Conference on Robotics and Automation, ICRA 2012, 14-18 May, 2012, St. Paul, Minnesota, USA},
  publisher = {IEEE},
  isbn = {978-1-4673-1403-9},
}

@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 = {Parallel Processing Letters},
  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 = {Algebraic Methodology and Software Technology, 6th International Conference, AMAST  97, Sydney, Australia, December 13-17, 1997, Proceedings},
  editor = {Michael Johnson},
  volume = {1349},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-63888-1},
}

@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 = {Proceedings of the ACM on Programming Languages},
  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 = {Science of Computer Programming},
  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 = {40th Hawaii International International Conference on Systems Science (HICSS-40 2007), CD-ROM / Abstracts Proceedings, 3-6 January 2007,  Waikoloa, Big Island, HI, USA},
  publisher = {IEEE Computer Society},
}

@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 = {Science of Computer Programming},
  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 = {Computers & Chemical Engineering},
  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 (1)},
}

@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 = {Science of Computer Programming},
  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 = {Genetic and Evolutionary Computation Conference, GECCO 2006, Proceedings, Seattle, Washington, USA, July 8-12, 2006},
  editor = {Mike Cattolico},
  publisher = {ACM},
  isbn = {1-59593-186-4},
}

@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 = {Generative Programming and Component Engineering, 6th International Conference, GPCE 2007},
  editor = {Charles Consel and Julia L. Lawall},
  address = {Salzburg, Austria},
  publisher = {ACM},
  isbn = {978-1-59593-855-8},
}

@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 = {Software Language Engineering, 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers},
  editor = {Krzysztof Czarnecki and Görel Hedin},
  volume = {7745},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-36089-3},
}

@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 = {Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2009, Dublin, Ireland, June 15-21, 2009},
  editor = {Michael Hind and Amer Diwan},
  publisher = {ACM},
  isbn = {978-1-60558-392-1},
}

@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 = {Science of Computer Programming},
  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 = {Science of Computer Programming},
  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 = {Sixth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2006), 27-29 September 2006, Philadelphia, Pennsylvania, USA},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2353-6},
}

@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 = {Proceedings of the Eighth SIAM Conference on Parallel Processing for Scientific Computing, PPSC 1997, March 14-17, 1997, Hyatt Regency Minneapolis on Nicollel Mall Hotel, Minneapolis, Minnesota, USA},
  publisher = {SIAM},
  isbn = {0-89871-395-1},
}

@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 = {Software Language Engineering - 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers},
  editor = {Anthony M. Sloane and Uwe Aßmann},
  volume = {6940},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-28829-6},
}

@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 = {Computer Languages, Systems \& Structures},
  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 = {Transformation-Based Reactive Systems Development, 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS 97, Palma, Mallorca, Spain, May 21-23, 1997, Proceedings},
  editor = {Miquel Bertran and Teodor Rus},
  volume = {1231},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-63010-4},
}

@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 = {Science of Computer Programming},
  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 = {Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2017, Vancouver, BC, Canada, October 23-24, 2017},
  editor = {Benoît Combemale and Marjan Mernik and Bernhard Rumpe},
  publisher = {ACM},
  isbn = {978-1-4503-5525-4},
}

@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 = {Compiler Construction, 11th International Conference, CC 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings},
  editor = {R. Nigel Horspool},
  volume = {2304},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-43369-4},
}

@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 = {Software and Systems Modeling},
  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 = {Proceedings of the 18th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2019, Athens, Greece, October 21-22, 2019},
  editor = {Ina Schaefer and Christoph Reichenbach and Tijs van der Storm},
  publisher = {ACM},
  isbn = {978-1-4503-6980-0},
}

@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 = {Higher-Order and Symbolic Computation},
  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 = {Software Language Engineering, Second International Conference, SLE 2009},
  editor = {Mark G. J. van den Brand and Dragan Gasevic and Jeffrey G. Gray},
  volume = {5969},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-12106-7},
}
@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},
}