publications: - title: "Attribute Grammar-Based Language Extensions for Java" author: - name: "Eric {Van Wyk}" link: "http://www-users.cs.umn.edu/~evw/" - name: "Lijesh Krishnan" link: "https://researchr.org/alias/lijesh-krishnan" - name: "Derek Bodin" link: "https://researchr.org/alias/derek-bodin" - name: "August Schwerdfeger" link: "https://researchr.org/alias/august-schwerdfeger" year: "2007" doi: "http://dx.doi.org/10.1007/978-3-540-73589-2_27" links: doi: "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" kind: "inproceedings" key: "WykKBS07" - title: "SLEBOK: The Software Language Engineering Body of Knowledge (Dagstuhl Seminar 17342)" author: - name: "Benoît Combemale" link: "https://researchr.org/alias/beno%C3%AEt-combemale" - name: "Ralf Lämmel" link: "https://researchr.org/alias/ralf-l%C3%A4mmel" - name: "Eric {Van Wyk}" link: "http://www-users.cs.umn.edu/~evw/" year: "2017" doi: "https://doi.org/10.4230/DagRep.7.8.45" links: doi: "https://doi.org/10.4230/DagRep.7.8.45" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/dagstuhl-reports/CombemaleLW17" researchr: "https://researchr.org/publication/CombemaleLW17" cites: 0 citedby: 0 journal: "dagstuhl-reports" volume: "7" number: "8" pages: "45-54" kind: "article" key: "CombemaleLW17" - title: "Tool Demonstration: Silver Extensible Compiler Frameworks and Modular Language Extensions for Java and C" author: - name: "Eric {Van Wyk}" link: "http://www-users.cs.umn.edu/~evw/" - name: "Lijesh Krishnan" link: "https://researchr.org/alias/lijesh-krishnan" - name: "Derek Bodin" link: "https://researchr.org/alias/derek-bodin" - name: "Eric Johnson" link: "https://researchr.org/alias/eric-johnson" - name: "August Schwerdfeger" link: "https://researchr.org/alias/august-schwerdfeger" - name: "Phil Russell" link: "https://researchr.org/alias/phil-russell" year: "2006" doi: "http://doi.ieeecomputersociety.org/10.1109/SCAM.2006.32" links: doi: "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" kind: "article" key: "10.1109-SCAM.2006.32" - title: "Parallel nondeterministic programming as a language extension to C (short paper)" author: - name: "Lucas Kramer" link: "https://researchr.org/alias/lucas-kramer" - name: "Eric {Van Wyk}" link: "http://www-users.cs.umn.edu/~evw/" year: "2019" doi: "https://doi.org/10.1145/3357765.3359524" links: doi: "https://doi.org/10.1145/3357765.3359524" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/gpce/KramerW19" researchr: "https://researchr.org/publication/KramerW19" cites: 0 citedby: 0 pages: "20-26" booktitle: "GPCE" kind: "inproceedings" key: "KramerW19" - title: "Generating attribute grammar-based bidirectional transformations from rewrite rules" author: - name: "Pedro Martins" link: "https://researchr.org/alias/pedro-martins" - name: "João Saraiva" link: "https://researchr.org/alias/jo%C3%A3o-saraiva" - name: "João Paulo Fernandes" link: "https://researchr.org/alias/jo%C3%A3o-paulo-fernandes" - name: "Eric {Van Wyk}" link: "http://www-users.cs.umn.edu/~evw/" year: "2014" doi: "http://doi.acm.org/10.1145/2543728.2543745" links: doi: "http://doi.acm.org/10.1145/2543728.2543745" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/pepm/MartinsSFW14" researchr: "https://researchr.org/publication/MartinsSFW14" cites: 0 citedby: 0 pages: "63-70" booktitle: "PEPM" kind: "inproceedings" key: "MartinsSFW14" - title: "Generating Model Checkers from Algebraic Specifications" author: - name: "Teodor Rus" link: "https://researchr.org/alias/teodor-rus" - name: "Eric {Van Wyk}" link: "http://www-users.cs.umn.edu/~evw/" - name: "Tom Halverson" link: "https://researchr.org/alias/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" kind: "article" key: "RusWH02" - title: "Building Extensible Specifications and Implementations of Promela with AbleP" author: - name: "Yogesh Mali" link: "https://researchr.org/alias/yogesh-mali" - name: "Eric {Van Wyk}" link: "http://www-users.cs.umn.edu/~evw/" year: "2011" doi: "http://dx.doi.org/10.1007/978-3-642-22306-8_8" links: doi: "http://dx.doi.org/10.1007/978-3-642-22306-8_8" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/spin/MaliW11" researchr: "https://researchr.org/publication/MaliW11" cites: 0 citedby: 0 pages: "108-125" booktitle: "spin" kind: "inproceedings" key: "MaliW11" - title: "Termination Analysis for Higher-Order Attribute Grammars" author: - name: "Lijesh Krishnan" link: "https://researchr.org/alias/lijesh-krishnan" - name: "Eric {Van Wyk}" link: "http://www-users.cs.umn.edu/~evw/" year: "2012" doi: "http://dx.doi.org/10.1007/978-3-642-36089-3_4" links: doi: "http://dx.doi.org/10.1007/978-3-642-36089-3_4" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/sle/KrishnanW12" researchr: "https://researchr.org/publication/KrishnanW12" cites: 0 citedby: 0 pages: "44-63" booktitle: "SLE" kind: "inproceedings" key: "KrishnanW12" - title: "Evolution of internal dynamics for neural network nodes" author: - name: "David J. Montana" link: "https://researchr.org/alias/david-j.-montana" - name: "Eric {Van Wyk}" link: "http://www-users.cs.umn.edu/~evw/" - name: "Marshall Brinn" link: "https://researchr.org/alias/marshall-brinn" - name: "Joshua Montana" link: "https://researchr.org/alias/joshua-montana" - name: "Stephen Milligan" link: "https://researchr.org/alias/stephen-milligan" year: "2009" doi: "http://dx.doi.org/10.1007/s12065-009-0017-0" links: doi: "http://dx.doi.org/10.1007/s12065-009-0017-0" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/evi/MontanaWBMM09" researchr: "https://researchr.org/publication/MontanaWBMM09" cites: 0 citedby: 0 journal: "evi" volume: "1" number: "4" pages: "233-251" kind: "article" key: "MontanaWBMM09" - title: "Type qualifiers as composable language extensions" author: - name: "Travis Carlson" link: "https://researchr.org/alias/travis-carlson" - name: "Eric {Van Wyk}" link: "http://www-users.cs.umn.edu/~evw/" year: "2017" doi: "http://doi.acm.org/10.1145/3136040.3136055" links: doi: "http://doi.acm.org/10.1145/3136040.3136055" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/gpce/CarlsonW17" researchr: "https://researchr.org/publication/CarlsonW17" cites: 0 citedby: 0 pages: "91-103" booktitle: "GPCE" kind: "inproceedings" key: "CarlsonW17" - title: "Preface" author: - name: "Görel Hedin" link: "http://cs.lth.se/gorel_hedin" - name: "Eric {Van Wyk}" link: "http://www-users.cs.umn.edu/~evw/" year: "2004" doi: "http://dx.doi.org/10.1016/j.entcs.2004.09.024" links: doi: "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" kind: "article" key: "HedinW04" - title: "Silver: an Extensible Attribute Grammar System" author: - name: "Eric {Van Wyk}" link: "http://www-users.cs.umn.edu/~evw/" - name: "Derek Bodin" link: "https://researchr.org/alias/derek-bodin" - name: "Jimin Gao" link: "https://researchr.org/alias/jimin-gao" - name: "Lijesh Krishnan" link: "https://researchr.org/alias/lijesh-krishnan" year: "2008" doi: "http://dx.doi.org/10.1016/j.entcs.2008.03.047" links: doi: "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" kind: "article" key: "WykBGK08" - title: "Adding Dimension Analysis to Java as a Composable Language Extension" author: - name: "Eric {Van Wyk}" link: "http://www-users.cs.umn.edu/~evw/" - name: "Yogesh Mali" link: "https://researchr.org/alias/yogesh-mali" year: "2007" doi: "http://dx.doi.org/10.1007/978-3-540-88643-3_12" links: doi: "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" kind: "inproceedings" key: "WykM07" - title: "Compiler Optimization Correctness by Temporal Logic" author: - name: "David Lacey" link: "https://researchr.org/alias/david-lacey" - name: "Neil D. Jones" link: "http://www.diku.dk/hjemmesider/ansatte/neil/" - name: "Eric {Van Wyk}" link: "http://www-users.cs.umn.edu/~evw/" - name: "Carl Christian Frederiksen" link: "https://researchr.org/alias/carl-christian-frederiksen" year: "2004" doi: "http://dx.doi.org/10.1023/B:LISP.0000029444.99264.c0" links: doi: "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" kind: "article" key: "LaceyJWF04" - title: "Flexible and Extensible Notations for Modeling Languages" author: - name: "Jimin Gao" link: "https://researchr.org/alias/jimin-gao" - name: "Mats Per Erik Heimdahl" link: "https://researchr.org/alias/mats-per-erik-heimdahl" - name: "Eric {Van Wyk}" link: "http://www-users.cs.umn.edu/~evw/" year: "2007" doi: "http://dx.doi.org/10.1007/978-3-540-71289-3_9" links: doi: "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" kind: "inproceedings" key: "GaoHW07" - title: "Aspect-Oriented Compilers" author: - name: "Oege de Moor" link: "http://progtools.comlab.ox.ac.uk/members/oege" - name: "Simon L. Peyton Jones" link: "http://research.microsoft.com/en-us/people/simonpj/" - name: "Eric {Van Wyk}" link: "http://www-users.cs.umn.edu/~evw/" year: "1999" doi: "http://link.springer.de/link/service/series/0558/bibs/1799/17990121.htm" links: doi: "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" kind: "inproceedings" key: "MoorPW99" - title: "Origin Tracking in Attribute Grammars" author: - name: "Kevin Williams" link: "https://researchr.org/alias/kevin-williams" - name: "Eric {Van Wyk}" link: "http://www-users.cs.umn.edu/~evw/" year: "2014" doi: "http://dx.doi.org/10.1007/978-3-319-11245-9_16" links: doi: "http://dx.doi.org/10.1007/978-3-319-11245-9_16" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/sle/WilliamsW14" researchr: "https://researchr.org/publication/WilliamsW14-0" cites: 0 citedby: 0 pages: "282-301" booktitle: "SLE" kind: "inproceedings" key: "WilliamsW14-0" - title: "A Compiler Extension for Parallel Matrix Programming" author: - name: "Kevin Williams" link: "https://researchr.org/alias/kevin-williams" - name: "Matthew Le" link: "https://researchr.org/alias/matthew-le" - name: "Ted Kaminski" link: "https://researchr.org/alias/ted-kaminski" - name: "Eric {Van Wyk}" link: "http://www-users.cs.umn.edu/~evw/" year: "2014" doi: "http://dx.doi.org/10.1109/ICPP.2014.56" links: doi: "http://dx.doi.org/10.1109/ICPP.2014.56" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icpp/WilliamsLKW14" researchr: "https://researchr.org/publication/WilliamsLKW14" cites: 0 citedby: 0 pages: "471-480" booktitle: "icpp" kind: "inproceedings" key: "WilliamsLKW14" - title: "Preface" author: - name: "Claus Brabrand" link: "https://researchr.org/alias/claus-brabrand" - name: "Eric {Van Wyk}" link: "http://www-users.cs.umn.edu/~evw/" year: "2011" links: dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ldta/BrabrandW11" researchr: "https://researchr.org/publication/BrabrandW11" cites: 0 citedby: 0 booktitle: "LDTA" kind: "inproceedings" key: "BrabrandW11" - title: "Adding domain-specific and general purpose language features to Java with the Java language extender" author: - name: "Eric {Van Wyk}" link: "http://www-users.cs.umn.edu/~evw/" - name: "Lijesh Krishnan" link: "https://researchr.org/alias/lijesh-krishnan" - name: "Derek Bodin" link: "https://researchr.org/alias/derek-bodin" - name: "Eric Johnson" link: "https://researchr.org/alias/eric-johnson" year: "2006" doi: "http://doi.acm.org/10.1145/1176617.1176696" links: doi: "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" kind: "inproceedings" key: "WykKBJ06" - title: "Type qualifiers as composable language extensions for code analysis and generation" author: - name: "Travis Carlson" link: "https://researchr.org/alias/travis-carlson" - name: "Eric {Van Wyk}" link: "http://www-users.cs.umn.edu/~evw/" year: "2019" doi: "https://doi.org/10.1016/j.jvlc.2018.10.008" links: doi: "https://doi.org/10.1016/j.jvlc.2018.10.008" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/vlc/CarlsonW19" researchr: "https://researchr.org/publication/CarlsonW19-0" cites: 0 citedby: 0 journal: "JCL (JVLC)" volume: "50" pages: "49-69" kind: "article" key: "CarlsonW19-0" - title: "Using Verified Data-Flow Analysis-based Optimizations in Attribute Grammars" author: - name: "Eric {Van Wyk}" link: "http://www-users.cs.umn.edu/~evw/" - name: "Lijesh Krishnan" link: "https://researchr.org/alias/lijesh-krishnan" year: "2007" doi: "http://dx.doi.org/10.1016/j.entcs.2006.06.020" links: doi: "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" kind: "article" key: "WykK07" - title: "Aspects as Modular Language Extensions" author: - name: "Eric {Van Wyk}" link: "http://www-users.cs.umn.edu/~evw/" year: "2003" doi: "http://www1.elsevier.com/gej-ng/31/29/23/133/52/show/Products/notes/index.htt#007" links: doi: "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" kind: "article" key: "Wyk03:0" - title: "Proving correctness of compiler optimizations by temporal logic" author: - name: "David Lacey" link: "https://researchr.org/alias/david-lacey" - name: "Neil D. Jones" link: "http://www.diku.dk/hjemmesider/ansatte/neil/" - name: "Eric {Van Wyk}" link: "http://www-users.cs.umn.edu/~evw/" - name: "Carl Christian Frederiksen" link: "https://researchr.org/alias/carl-christian-frederiksen" year: "2002" doi: "http://doi.acm.org/10.1145/503272.503299" links: doi: "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" kind: "inproceedings" key: "LaceyJWF02" - title: "Building parallel programming language constructs in the AbleC extensible C compiler framework: a PPoPP tutorial" author: - name: "Travis Carlson" link: "https://researchr.org/alias/travis-carlson" - name: "Eric {Van Wyk}" link: "http://www-users.cs.umn.edu/~evw/" year: "2019" doi: "https://doi.org/10.1145/3293883.3302574" links: doi: "https://doi.org/10.1145/3293883.3302574" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ppopp/CarlsonW19" researchr: "https://researchr.org/publication/CarlsonW19" cites: 0 citedby: 0 pages: "443-446" booktitle: "ppopp" kind: "inproceedings" key: "CarlsonW19" - title: "Extending Lustre with Timeout Automata" author: - name: "Jimin Gao" link: "https://researchr.org/alias/jimin-gao" - name: "Mike Whalen" link: "https://researchr.org/alias/mike-whalen" - name: "Eric {Van Wyk}" link: "http://www-users.cs.umn.edu/~evw/" year: "2008" doi: "http://dx.doi.org/10.1016/j.entcs.2008.05.014" links: doi: "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" kind: "article" key: "GaoWW08" - title: "Specification languages in algebraic compilers" author: - name: "Eric {Van Wyk}" link: "http://www-users.cs.umn.edu/~evw/" 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" kind: "article" key: "Wyk03" - title: "Meta Languages in Algebraic Compilers" author: - name: "Eric {Van Wyk}" link: "http://www-users.cs.umn.edu/~evw/" year: "2000" doi: "http://link.springer.de/link/service/series/0558/bibs/1816/18160119.htm" links: doi: "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" kind: "inproceedings" key: "Wyk00" - title: "Creating and using domain-specific language features" author: - name: "Ted Kaminski" link: "https://researchr.org/alias/ted-kaminski" - name: "Eric {Van Wyk}" link: "http://www-users.cs.umn.edu/~evw/" year: "2013" doi: "http://doi.acm.org/10.1145/2489812.2489817" links: doi: "http://doi.acm.org/10.1145/2489812.2489817" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ecoop/KaminskiW13" researchr: "https://researchr.org/publication/KaminskiW13" cites: 0 citedby: 0 pages: "18-21" booktitle: "ECOOP" kind: "inproceedings" key: "KaminskiW13" - title: "XRobots: A flexible language for programming mobile robots based on hierarchical state machines" author: - name: "Steve Tousignant" link: "https://researchr.org/alias/steve-tousignant" - name: "Eric {Van Wyk}" link: "http://www-users.cs.umn.edu/~evw/" - name: "Maria L. Gini" link: "https://researchr.org/alias/maria-l.-gini" year: "2012" doi: "http://dx.doi.org/10.1109/ICRA.2012.6225145" links: doi: "http://dx.doi.org/10.1109/ICRA.2012.6225145" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icra/TousignantWG12" researchr: "https://researchr.org/publication/TousignantWG12" cites: 0 citedby: 0 pages: "1773-1778" booktitle: "icra" kind: "inproceedings" key: "TousignantWG12" - title: "Using Model Checking in a Parallelizing Compiler" author: - name: "Teodor Rus" link: "https://researchr.org/alias/teodor-rus" - name: "Eric {Van Wyk}" link: "http://www-users.cs.umn.edu/~evw/" 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" kind: "article" key: "RusW98" - title: "An Algebraic Language Processing Environment" author: - name: "Teodor Rus" link: "https://researchr.org/alias/teodor-rus" - name: "Tom Halverson" link: "https://researchr.org/alias/tom-halverson" - name: "Eric {Van Wyk}" link: "http://www-users.cs.umn.edu/~evw/" - name: "Robert Kooima" link: "https://researchr.org/alias/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" kind: "inproceedings" key: "RusHWK97" - title: "Flexibility in modeling languages and tools: a call to arms" author: - name: "Eric {Van Wyk}" link: "http://www-users.cs.umn.edu/~evw/" - name: "Mats Per Erik Heimdahl" link: "https://researchr.org/alias/mats-per-erik-heimdahl" year: "2009" doi: "http://dx.doi.org/10.1007/s10009-009-0107-4" links: doi: "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" kind: "article" key: "WykH09" - title: "Reliable and automatic composition of language extensions to C: the ableC extensible language framework" author: - name: "Ted Kaminski" link: "https://researchr.org/alias/ted-kaminski" - name: "Lucas Kramer" link: "https://researchr.org/alias/lucas-kramer" - name: "Travis Carlson" link: "https://researchr.org/alias/travis-carlson" - name: "Eric {Van Wyk}" link: "http://www-users.cs.umn.edu/~evw/" year: "2017" doi: "http://doi.acm.org/10.1145/3138224" links: doi: "http://doi.acm.org/10.1145/3138224" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/pacmpl/KaminskiKCW17" researchr: "https://researchr.org/publication/KaminskiKCW17" cites: 0 citedby: 0 journal: "PACMPL" volume: "1" number: "OOPSLA" kind: "article" key: "KaminskiKCW17" - title: "Preface to the Special Section on Language Descriptions, Tools, and Applications (LDTA 2011)" author: - name: "Claus Brabrand" link: "https://researchr.org/alias/claus-brabrand" - name: "Eric {Van Wyk}" link: "http://www-users.cs.umn.edu/~evw/" year: "2014" doi: "http://dx.doi.org/10.1016/j.scico.2013.09.009" links: doi: "http://dx.doi.org/10.1016/j.scico.2013.09.009" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/scp/BrabrandW14" researchr: "https://researchr.org/publication/BrabrandW14" cites: 0 citedby: 0 journal: "SCP" volume: "87" pages: "1" kind: "article" key: "BrabrandW14" - title: "Composable Language Extensions for Computational Geometry: A Case Study" author: - name: "Eric {Van Wyk}" link: "http://www-users.cs.umn.edu/~evw/" - name: "Eric Johnson" link: "https://researchr.org/alias/eric-johnson" year: "2007" doi: "http://doi.ieeecomputersociety.org/10.1109/HICSS.2007.139" links: doi: "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" kind: "inproceedings" key: "WykJ07" - title: "Intentional Programming: a Host of Language Features" author: - name: "Eric {Van Wyk}" link: "http://www-users.cs.umn.edu/~evw/" - name: "Oege de Moor" link: "http://progtools.comlab.ox.ac.uk/members/oege" - name: "Ganesh Sittampalam" link: "http://www.earth.li/~ganesh/" - name: "Ivan Sanabria Piretti" link: "https://researchr.org/alias/ivan-sanabria-piretti" - name: "Kevin Backhouse" link: "https://researchr.org/alias/kevin-backhouse" - name: "Paul Kwiatkowski" link: "https://researchr.org/alias/paul-kwiatkowski" year: "2001" doi: "http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.20.5286" links: doi: "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" kind: "techreport" key: "Wyk01intentionalprogramming:" - title: "Monolithic and modular termination analyses for higher-order attribute grammars" author: - name: "Lijesh Krishnan" link: "https://researchr.org/alias/lijesh-krishnan" - name: "Eric {Van Wyk}" link: "http://www-users.cs.umn.edu/~evw/" year: "2014" doi: "http://dx.doi.org/10.1016/j.scico.2014.05.016" links: doi: "http://dx.doi.org/10.1016/j.scico.2014.05.016" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/scp/KrishnanW14" researchr: "https://researchr.org/publication/KrishnanW14" cites: 0 citedby: 0 journal: "SCP" volume: "96" pages: "511-526" kind: "article" key: "KrishnanW14" - title: "Language-oriented rule-based reaction network generation and analysis: Algorithms of RING" author: - name: "Srinivas Rangarajan" link: "https://researchr.org/alias/srinivas-rangarajan" - name: "Ted Kaminski" link: "https://researchr.org/alias/ted-kaminski" - name: "Eric {Van Wyk}" link: "http://www-users.cs.umn.edu/~evw/" - name: "Aditya Bhan" link: "https://researchr.org/alias/aditya-bhan" - name: "Prodromos Daoutidis" link: "https://researchr.org/alias/prodromos-daoutidis" year: "2014" doi: "http://dx.doi.org/10.1016/j.compchemeng.2014.02.007" links: doi: "http://dx.doi.org/10.1016/j.compchemeng.2014.02.007" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/cce/RangarajanKWBD14" researchr: "https://researchr.org/publication/RangarajanKWBD14" cites: 0 citedby: 0 journal: "cce" volume: "64" pages: "124-137" kind: "article" key: "RangarajanKWBD14" - title: "Domain Specific Meta Languages" author: - name: "Eric {Van Wyk}" link: "http://www-users.cs.umn.edu/~evw/" 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" kind: "inproceedings" key: "Wyk00:0" - title: "A modular specification of Oberon0 using the Silver attribute grammar system" author: - name: "Ted Kaminski" link: "https://researchr.org/alias/ted-kaminski" - name: "Eric {Van Wyk}" link: "http://www-users.cs.umn.edu/~evw/" year: "2015" doi: "http://dx.doi.org/10.1016/j.scico.2015.10.009" links: doi: "http://dx.doi.org/10.1016/j.scico.2015.10.009" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/scp/KaminskiW15" researchr: "https://researchr.org/publication/KaminskiW15" cites: 0 citedby: 0 journal: "SCP" volume: "114" pages: "33-44" kind: "article" key: "KaminskiW15" - title: "Genomic computing networks learn complex POMDPs" author: - name: "David J. Montana" link: "https://researchr.org/alias/david-j.-montana" - name: "Eric {Van Wyk}" link: "http://www-users.cs.umn.edu/~evw/" - name: "Marshall Brinn" link: "https://researchr.org/alias/marshall-brinn" - name: "Joshua Montana" link: "https://researchr.org/alias/joshua-montana" - name: "Stephen Milligan" link: "https://researchr.org/alias/stephen-milligan" year: "2006" doi: "http://doi.acm.org/10.1145/1143997.1144037" links: doi: "http://doi.acm.org/10.1145/1143997.1144037" researchr: "https://researchr.org/publication/MontanaWBMM06" cites: 0 citedby: 0 pages: "233-234" booktitle: "gecco" kind: "inproceedings" key: "MontanaWBMM06" - title: "Context-aware scanning for parsing extensible languages" author: - name: "Eric {Van Wyk}" link: "http://www-users.cs.umn.edu/~evw/" - name: "August Schwerdfeger" link: "https://researchr.org/alias/august-schwerdfeger" year: "2007" doi: "http://doi.acm.org/10.1145/1289971.1289983" links: doi: "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" kind: "inproceedings" key: "WykS07" - title: "Modular Well-Definedness Analysis for Attribute Grammars" author: - name: "Ted Kaminski" link: "https://researchr.org/alias/ted-kaminski" - name: "Eric {Van Wyk}" link: "http://www-users.cs.umn.edu/~evw/" year: "2012" doi: "http://dx.doi.org/10.1007/978-3-642-36089-3_20" links: doi: "http://dx.doi.org/10.1007/978-3-642-36089-3_20" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/sle/KaminskiW12" researchr: "https://researchr.org/publication/KaminskiW12" cites: 0 citedby: 0 pages: "352-371" booktitle: "SLE" kind: "inproceedings" key: "KaminskiW12" - title: "Verifiable composition of deterministic grammars" author: - name: "August Schwerdfeger" link: "https://researchr.org/alias/august-schwerdfeger" - name: "Eric {Van Wyk}" link: "http://www-users.cs.umn.edu/~evw/" year: "2009" doi: "http://doi.acm.org/10.1145/1542476.1542499" links: doi: "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" kind: "inproceedings" key: "SchwerdfegerW09" - title: "Embedding attribute grammars and their extensions using functional zippers" author: - name: "Pedro Martins 0001" link: "https://researchr.org/alias/pedro-martins-0001" - name: "João Paulo Fernandes" link: "https://researchr.org/alias/jo%C3%A3o-paulo-fernandes" - name: "João Saraiva" link: "https://researchr.org/alias/jo%C3%A3o-saraiva" - name: "Eric {Van Wyk}" link: "http://www-users.cs.umn.edu/~evw/" - name: "Anthony Sloane" link: "https://researchr.org/alias/anthony-sloane" year: "2016" doi: "http://dx.doi.org/10.1016/j.scico.2016.03.005" links: doi: "http://dx.doi.org/10.1016/j.scico.2016.03.005" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/scp/MartinsFSWS16" researchr: "https://researchr.org/publication/MartinsFSWS16" cites: 0 citedby: 0 journal: "SCP" volume: "132" pages: "2-28" kind: "article" key: "MartinsFSWS16" - title: "Silver: An extensible attribute grammar system" author: - name: "Eric {Van Wyk}" link: "http://www-users.cs.umn.edu/~evw/" - name: "Derek Bodin" link: "https://researchr.org/alias/derek-bodin" - name: "Jimin Gao" link: "https://researchr.org/alias/jimin-gao" - name: "Lijesh Krishnan" link: "https://researchr.org/alias/lijesh-krishnan" year: "2010" doi: "http://dx.doi.org/10.1016/j.scico.2009.07.004" links: doi: "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" kind: "article" key: "WykBGK10" - title: "Tool Demonstration: Silver Extensible Compiler Frameworks and Modular Language Extensions for Java and C" author: - name: "Eric {Van Wyk}" link: "http://www-users.cs.umn.edu/~evw/" - name: "Lijesh Krishnan" link: "https://researchr.org/alias/lijesh-krishnan" - name: "Derek Bodin" link: "https://researchr.org/alias/derek-bodin" - name: "Eric Johnson" link: "https://researchr.org/alias/eric-johnson" - name: "August Schwerdfeger" link: "https://researchr.org/alias/august-schwerdfeger" - name: "Phil Russell" link: "https://researchr.org/alias/phil-russell" year: "2006" doi: "http://doi.ieeecomputersociety.org/10.1109/SCAM.2006.32" links: doi: "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" kind: "inproceedings" key: "WykKBJSR06" - title: "A Formal Approach to Parallelizing Compilers" author: - name: "Teodor Rus" link: "https://researchr.org/alias/teodor-rus" - name: "Eric {Van Wyk}" link: "http://www-users.cs.umn.edu/~evw/" year: "1997" tags: - "compiler" - "systematic-approach" researchr: "https://researchr.org/publication/RusW97%3A0" cites: 0 citedby: 0 booktitle: "ppsc" kind: "inproceedings" key: "RusW97:0" - title: "Integrating Attribute Grammar and Functional Programming Language Features" author: - name: "Ted Kaminski" link: "https://researchr.org/alias/ted-kaminski" - name: "Eric {Van Wyk}" link: "http://www-users.cs.umn.edu/~evw/" year: "2011" doi: "http://dx.doi.org/10.1007/978-3-642-28830-2_15" links: doi: "http://dx.doi.org/10.1007/978-3-642-28830-2_15" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/sle/KaminskiW11" researchr: "https://researchr.org/publication/KaminskiW11" cites: 0 citedby: 0 pages: "263-282" booktitle: "SLE" kind: "inproceedings" key: "KaminskiW11" - title: "Special Issue on the 6th and 7th International Conferences on Software Language Engineering (SLE 2013 and SLE 2014)" author: - name: "Benoît Combemale" link: "https://researchr.org/alias/beno%C3%AEt-combemale" - name: "David J. Pearce" link: "https://researchr.org/alias/david-j.-pearce" - name: "Richard F. Paige" link: "https://researchr.org/alias/richard-f.-paige" - name: "Eric {Van Wyk}" link: "http://www-users.cs.umn.edu/~evw/" year: "2015" doi: "http://dx.doi.org/10.1016/j.cl.2015.08.009" links: doi: "http://dx.doi.org/10.1016/j.cl.2015.08.009" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/cl/CombemalePPW15" researchr: "https://researchr.org/publication/CombemalePPW15" cites: 0 citedby: 0 journal: "Comp. Lang., Syst. \\& Struct." volume: "44" pages: "1-2" kind: "article" key: "CombemalePPW15" - title: "Integrating Temporal Logics and Model Checking Algorithms" author: - name: "Teodor Rus" link: "https://researchr.org/alias/teodor-rus" - name: "Eric {Van Wyk}" link: "http://www-users.cs.umn.edu/~evw/" 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" kind: "inproceedings" key: "RusW97" - title: "Implementing aspect-oriented programming constructs as modular language extensions" author: - name: "Eric {Van Wyk}" link: "http://www-users.cs.umn.edu/~evw/" year: "2007" doi: "http://dx.doi.org/10.1016/j.scico.2005.06.006" links: doi: "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" kind: "article" key: "Wyk07" - title: "Ensuring non-interference of composable language extensions" author: - name: "Ted Kaminski" link: "https://researchr.org/alias/ted-kaminski" - name: "Eric {Van Wyk}" link: "http://www-users.cs.umn.edu/~evw/" year: "2017" doi: "http://doi.acm.org/10.1145/3136014.3136023" links: doi: "http://doi.acm.org/10.1145/3136014.3136023" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/sle/KaminskiW17" researchr: "https://researchr.org/publication/KaminskiW17" cites: 0 citedby: 0 pages: "163-174" booktitle: "SLE" kind: "inproceedings" key: "KaminskiW17" - title: "Forwarding in Attribute Grammars for Modular Language Design" author: - name: "Eric {Van Wyk}" link: "http://www-users.cs.umn.edu/~evw/" - name: "Oege de Moor" link: "http://progtools.comlab.ox.ac.uk/members/oege" - name: "Kevin Backhouse" link: "https://researchr.org/alias/kevin-backhouse" - name: "Paul Kwiatkowski" link: "https://researchr.org/alias/paul-kwiatkowski" year: "2002" doi: "http://link.springer.de/link/service/series/0558/bibs/2304/23040128.htm" links: doi: "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" kind: "inproceedings" key: "WykMBK02" - title: "The Software Language Extension Problem" author: - name: "Manuel Leduc" link: "https://researchr.org/alias/manuel-leduc" - name: "Thomas Degueule" link: "https://researchr.org/alias/thomas-degueule" - name: "Eric {Van Wyk}" link: "http://www-users.cs.umn.edu/~evw/" - name: "Benoît Combemale" link: "https://researchr.org/alias/beno%C3%AEt-combemale" year: "2020" doi: "https://doi.org/10.1007/s10270-019-00772-7" links: doi: "https://doi.org/10.1007/s10270-019-00772-7" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/sosym/LeducDWC20" researchr: "https://researchr.org/publication/LeducDWC20" cites: 0 citedby: 0 journal: "SoSyM" volume: "19" number: "2" pages: "263-267" kind: "article" key: "LeducDWC20" - title: "Reflection in attribute grammars" author: - name: "Lucas Kramer" link: "https://researchr.org/alias/lucas-kramer" - name: "Ted Kaminski" link: "https://researchr.org/alias/ted-kaminski" - name: "Eric {Van Wyk}" link: "http://www-users.cs.umn.edu/~evw/" year: "2019" doi: "https://doi.org/10.1145/3357765.3359517" links: doi: "https://doi.org/10.1145/3357765.3359517" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/gpce/KramerKW19" researchr: "https://researchr.org/publication/KramerKW19" cites: 0 citedby: 0 pages: "48-60" booktitle: "GPCE" kind: "inproceedings" key: "KramerKW19" - title: "Universal Regular Path Queries" author: - name: "Oege de Moor" link: "http://progtools.comlab.ox.ac.uk/members/oege" - name: "David Lacey" link: "https://researchr.org/alias/david-lacey" - name: "Eric {Van Wyk}" link: "http://www-users.cs.umn.edu/~evw/" year: "2003" doi: "http://dx.doi.org/10.1023/A:1023063919574" links: doi: "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" kind: "article" key: "MoorLW03" - title: "Verifiable Parse Table Composition for Deterministic Parsing" author: - name: "August Schwerdfeger" link: "https://researchr.org/alias/august-schwerdfeger" - name: "Eric {Van Wyk}" link: "http://www-users.cs.umn.edu/~evw/" year: "2009" doi: "http://dx.doi.org/10.1007/978-3-642-12107-4_15" links: doi: "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" kind: "inproceedings" key: "SchwerdfegerW09-SLE" - title: "Software Language Engineering, First International Conference, SLE 2008, Toulouse, France, September 29-30, 2008. Revised Selected Papers" year: "2009" doi: "http://dx.doi.org/10.1007/978-3-642-00434-6" links: doi: "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: - name: "Dragan Gasevic" link: "http://www.sfu.ca/~dgasevic/" - name: "Ralf Lämmel" link: "http://www.uni-koblenz.de/~laemmel/Site/Home.html" - name: "Eric {Van Wyk}" link: "http://www-users.cs.umn.edu/~evw/" volume: "5452" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-00433-9" kind: "proceedings" key: "sle:2008" - 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: "https://doi.org/10.1145/3278122" links: doi: "https://doi.org/10.1145/3278122" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/gpce/2018" 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: - name: "Eric {Van Wyk}" link: "http://www-users.cs.umn.edu/~evw/" - name: "Tiark Rompf" link: "https://researchr.org/alias/tiark-rompf" publisher: "ACM" isbn: "978-1-4503-6045-6" kind: "proceedings" key: "gpce-2018" - title: "Software Language Engineering - 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings" year: "2013" doi: "http://dx.doi.org/10.1007/978-3-319-02654-1" links: doi: "http://dx.doi.org/10.1007/978-3-319-02654-1" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/sle/2013" 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: - name: "Martin Erwig" link: "https://researchr.org/alias/martin-erwig" - name: "Richard F. Paige" link: "https://researchr.org/alias/richard-f.-paige" - name: "Eric {Van Wyk}" link: "http://www-users.cs.umn.edu/~evw/" volume: "8225" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-319-02653-4" kind: "proceedings" key: "sle-2013-0" - title: "Language Descriptions, Tools and Applications, LDTA 2011, Saarbrücken, Germany, March 26-27, 2011. Proceeding" year: "2011" links: dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ldta/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: - name: "Claus Brabrand" link: "https://researchr.org/alias/claus-brabrand" - name: "Eric {Van Wyk}" link: "http://www-users.cs.umn.edu/~evw/" publisher: "ACM" isbn: "978-1-4503-0665-2" kind: "proceedings" key: "ldta-2011" - 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: - name: "Martin Erwig" link: "http://web.engr.oregonstate.edu/~erwig/" - name: "Richard F. Paige" link: "http://www-users.cs.york.ac.uk/~paige/" - name: "Eric {Van Wyk}" link: "http://www-users.cs.umn.edu/~evw/" series: "Lecture Notes in Computer Science" publisher: "Springer" kind: "proceedings" key: "sle-2013"