% Bibliography downloaded from https://researchr.org/downloadbibtex/bibliography/modse-name-binding

@inproceedings{Tarau11,
  title = {Integrated symbol table, engine and heap memory management in multi-engine prolog},
  author = {Paul Tarau},
  year = {2011},
  doi = {10.1145/1993478.1993497},
  url = {http://doi.acm.org/10.1145/1993478.1993497},
  tags = {Prolog, memory management},
  researchr = {https://researchr.org/publication/Tarau11},
  cites = {0},
  citedby = {0},
  pages = {129-138},
  booktitle = {Proceedings of the 10th International Symposium on Memory Management, ISMM 2011, San Jose, CA, USA, June 04 - 05, 2011},
  editor = {Hans-Juergen Boehm and David F. Bacon},
  publisher = {ACM},
  isbn = {978-1-4503-0263-0},
}

@inproceedings{Poetzsch-Heffter94:0,
  title = {Developing Efficient Interpreters Based on Formal Language Specifications},
  author = {Arnd Poetzsch-Heffter},
  year = {1994},
  tags = {rule-based, interpreter},
  researchr = {https://researchr.org/publication/Poetzsch-Heffter94%3A0},
  cites = {0},
  citedby = {0},
  pages = {233-247},
  booktitle = {Compiler Construction, 5th International Conference, CC 94, Edinburgh, U.K., April 7-9, 1994, Proceedings},
  editor = {Peter Fritzson},
  volume = {786},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-57877-3},
}

@inproceedings{Poetzsch-Heffter93,
  title = {Programming Language Specification and Prototyping Using the MAX System},
  author = {Arnd Poetzsch-Heffter},
  year = {1993},
  tags = {programming languages, programming},
  researchr = {https://researchr.org/publication/Poetzsch-Heffter93},
  cites = {0},
  citedby = {0},
  pages = {137-150},
  booktitle = {Programming Language Implementation and Logic Programming, 5th International Symposium, PLILP 93, Tallinn, Estonia, August 25-27, 1993, Proceedings},
  editor = {Maurice Bruynooghe and Jaan Penjam},
  volume = {714},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-57186-8},
}

@article{KastensW94,
  title = {Modularity and Reusability in Attribute Grammars},
  author = {Uwe Kastens and William M. Waite},
  year = {1994},
  url = {http://portal.acm.org/citation.cfm?id=191491},
  tags = {attribute grammars, reuse, grammar},
  researchr = {https://researchr.org/publication/KastensW94},
  cites = {0},
  citedby = {1},
  journal = {Acta Informatica},
  volume = {31},
  number = {7},
  pages = {601-627},
}

@article{BrandJKO00,
  title = {Efficient annotated terms},
  author = {Mark G. J. van den Brand and H. A. de Jong and Paul  Klint and Pieter A. Olivier},
  year = {2000},
  doi = {10.1002/(SICI)1097-024X(200003)30:3\%3C259::AID-SPE298\%3E3.0.CO;2-Y},
  url = {https://doi.org/10.1002/(SICI)1097-024X(200003)30:3\%3C259::AID-SPE298\%3E3.0.CO;2-Y},
  tags = {rule-based, Java, parsing},
  researchr = {https://researchr.org/publication/BrandJKO00},
  cites = {0},
  citedby = {1},
  journal = {Software: Practice and Experience},
  volume = {30},
  number = {3},
  pages = {259-291},
}

@inproceedings{Urquiza-FuentesGGV06,
  title = {Visualizing the symbol table},
  author = {Jaime Urquiza-Fuentes and Micael Gallego-Carrillo and Francisco Gortázar-Bellas and J. Ángel Velázquez-Iturbide},
  year = {2006},
  doi = {10.1145/1140124.1140249},
  url = {http://doi.acm.org/10.1145/1140124.1140249},
  researchr = {https://researchr.org/publication/Urquiza-FuentesGGV06},
  cites = {0},
  citedby = {0},
  pages = {341},
  booktitle = {Proceedings of the 11th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2006, Bologna, Italy, June 26-28, 2006},
  editor = {Renzo Davoli and Michael Goldweber and Paola Salomoni},
  publisher = {ACM},
  isbn = {1-59593-055-8},
}

@inproceedings{Ben-AviW09,
  title = {Scope Dominance with Generalized Quantifiers},
  author = {Gilad Ben-Avi and Yoad Winter},
  year = {2009},
  doi = {10.1007/978-3-642-01748-3_3},
  url = {http://dx.doi.org/10.1007/978-3-642-01748-3_3},
  researchr = {https://researchr.org/publication/Ben-AviW09},
  cites = {0},
  citedby = {0},
  pages = {36-44},
  booktitle = {Languages: From Formal to Natural, Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday},
  editor = {Orna Grumberg and Michael Kaminski and Shmuel Katz and Shuly Wintner},
  volume = {5533},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-01747-6},
}

@article{KastensS02,
  title = {VL-Eli: A Generator for Visual Languages - System Demonstration},
  author = {Uwe Kastens and Carsten Schmidt},
  year = {2002},
  url = {http://www.elsevier.com/gej-ng/31/29/23/117/52/show/Products/notes/index.htt#012},
  researchr = {https://researchr.org/publication/KastensS02},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {65},
  number = {3},
  pages = {139-143},
}

@article{Wells90:1,
  title = {Identifiers and static name abstraction},
  author = {Mark B. Wells},
  year = {1990},
  doi = {10.1145/382080.382628},
  url = {http://doi.acm.org/10.1145/382080.382628},
  tags = {abstraction},
  researchr = {https://researchr.org/publication/Wells90%3A1},
  cites = {0},
  citedby = {0},
  journal = {SIGPLAN Notices},
  volume = {25},
  number = {5},
  pages = {25-28},
}

@inproceedings{Pottier07:0,
  title = {Static Name Control for FreshML},
  author = {François Pottier},
  year = {2007},
  doi = {10.1109/LICS.2007.44},
  url = {http://doi.ieeecomputersociety.org/10.1109/LICS.2007.44},
  researchr = {https://researchr.org/publication/Pottier07%3A0},
  cites = {0},
  citedby = {0},
  pages = {356-365},
  booktitle = {22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 10-12 July 2007, Wroclaw, Poland, Proceedings},
  publisher = {IEEE Computer Society},
}

@article{Visser01-DR,
  title = {Scoped Dynamic Rewrite Rules},
  author = {Eelco Visser},
  year = {2001},
  doi = {10.1016/S1571-0661(04)00298-1},
  url = {https://doi.org/10.1016/S1571-0661(04)00298-1},
  tags = {programming languages, rule-based, graph transformation, dynamic rewrite rules, Stratego/XT, transformation language, term rewriting, graph-rewriting, rules, context-aware, access control, rewriting, role-based access control, rewriting strategies, transformation, Stratego, program transformation},
  researchr = {https://researchr.org/publication/Visser01-DR},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {59},
  number = {4},
  pages = {375-396},
}

@article{CookL83,
  title = {A Symbol Table Abstraction to Implement Languages with Explicit Scope Control},
  author = {Robert P. Cook and Thomas J. LeBlanc},
  year = {1983},
  tags = {programming languages, Modula, meta programming, meta-model, programming, abstraction, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/CookL83},
  cites = {0},
  citedby = {0},
  journal = {IEEE Trans. Software Eng.},
  volume = {9},
  number = {1},
  pages = {8-12},
}

@inproceedings{OwensBNS11,
  title = {Lem: A Lightweight Tool for Heavyweight Semantics},
  author = {Scott Owens and Peter Böhm and Francesco Zappa Nardelli and Peter Sewell},
  year = {2011},
  doi = {10.1007/978-3-642-22863-6_27},
  url = {http://dx.doi.org/10.1007/978-3-642-22863-6_27},
  tags = {semantics},
  researchr = {https://researchr.org/publication/OwensBNS11},
  cites = {0},
  citedby = {0},
  pages = {363-369},
  booktitle = {Interactive Theorem Proving - Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings},
  editor = {Marko C. J. D. van Eekelen and Herman Geuvers and Julien Schmaltz and Freek Wiedijk},
  volume = {6898},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-22862-9},
}

@article{EkmanH07SCP,
  title = {The JastAdd system - modular extensible compiler construction},
  author = {Torbjörn Ekman and Görel Hedin},
  year = {2007},
  doi = {10.1016/j.scico.2007.02.003},
  url = {http://dx.doi.org/10.1016/j.scico.2007.02.003},
  tags = {compiler, JastAdd},
  researchr = {https://researchr.org/publication/EkmanH07SCP},
  cites = {0},
  citedby = {0},
  journal = {Science of Computer Programming},
  volume = {69},
  number = {1-3},
  pages = {14-26},
}

@misc{xtext,
  title = {Tutorials and Documentation for {Xtext 2.0}},
  year = {2011},
  tags = {Xtext},
  researchr = {https://researchr.org/publication/xtext},
  cites = {0},
  citedby = {0},
  howpublished = {\url{http://www.eclipse.org/Xtext/documentation/}},
}

@incollection{reference-wiley-Sloane08,
  title = {Program Compilers},
  author = {Anthony M. Sloane},
  year = {2008},
  doi = {10.1002/9780470050118.ecse559},
  url = {http://dx.doi.org/10.1002/9780470050118.ecse559},
  tags = {programming languages, program analysis, translation, lexical syntax, architecture, points-to analysis, analysis, source-to-source, code generation, compiler, programming, open-source},
  researchr = {https://researchr.org/publication/reference-wiley-Sloane08},
  cites = {0},
  citedby = {0},
  booktitle = {Wiley Encyclopedia of Computer Science and Engineering},
  editor = {Benjamin W. Wah},
  publisher = {John Wiley & Sons, Inc.},
}

@inproceedings{Odersky95,
  title = {Polarized Name Passing},
  author = {Martin Odersky},
  year = {1995},
  researchr = {https://researchr.org/publication/Odersky95},
  cites = {0},
  citedby = {0},
  pages = {324-337},
  booktitle = {Foundations of Software Technology and Theoretical Computer Science, 15th Conference, Bangalore, India, December 18-20, 1995, Proceedings},
  editor = {P. S. Thiagarajan},
  volume = {1026},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-60692-0},
}

@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},
}

@article{Klug91,
  title = {VisiCola, a model and a language for visibility control in programming languages},
  author = {Michael A. Klug},
  year = {1991},
  doi = {10.1145/122179.122185},
  url = {http://doi.acm.org/10.1145/122179.122185},
  tags = {programming languages, modeling language, language modeling, programming},
  researchr = {https://researchr.org/publication/Klug91},
  cites = {0},
  citedby = {0},
  journal = {SIGPLAN Notices},
  volume = {26},
  number = {2},
  pages = {51-63},
}

@inproceedings{SchaferEM09,
  title = {Formalising and Verifying Reference Attribute Grammars in Coq},
  author = {Max Schäfer and Torbjörn Ekman and Oege de Moor},
  year = {2009},
  doi = {10.1007/978-3-642-00590-9_11},
  url = {http://dx.doi.org/10.1007/978-3-642-00590-9_11},
  tags = {attribute grammars, reference attribute grammars, grammar},
  researchr = {https://researchr.org/publication/SchaferEM09},
  cites = {0},
  citedby = {0},
  pages = {143-159},
  booktitle = {Programming Languages and Systems, 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings},
  editor = {Giuseppe Castagna},
  volume = {5502},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-00589-3},
}

@inproceedings{GrahamJR79,
  title = {Hashed symbol tables for languages with explicit scope control},
  author = {Susan L. Graham and William N. Joy and Olivier Roubine},
  year = {1979},
  doi = {10.1145/800229.806953},
  url = {http://doi.acm.org/10.1145/800229.806953},
  tags = {programming languages, rule-based, Modula, rules, programming, Pascal},
  researchr = {https://researchr.org/publication/GrahamJR79},
  cites = {0},
  citedby = {0},
  pages = {50-57},
  booktitle = {Proceedings of the 1979 SIGPLAN Symposium on Compiler Construction, Denver, Colorado, USA, August 6-10, 1979},
  publisher = {ACM},
}

@inproceedings{DeccioCSKM09,
  title = {Quality of Name Resolution in the Domain Name System},
  author = {Casey T. Deccio and Chao-Chih Chen and Jeff Sedayao and Krishna Kant and Prasant Mohapatra},
  year = {2009},
  doi = {10.1109/ICNP.2009.5339693},
  url = {http://dx.doi.org/10.1109/ICNP.2009.5339693},
  researchr = {https://researchr.org/publication/DeccioCSKM09},
  cites = {0},
  citedby = {0},
  pages = {113-122},
  booktitle = {Proceedings of the 17th annual IEEE International Conference on Network Protocols, 2009. ICNP 2009, Princeton, NJ, USA, 13-16 October 2009},
  editor = {Henning Schulzrinne and K. K. Ramakrishnan and Timothy G. Griffin and Srikanth V. Krishnamurthy},
  publisher = {IEEE Computer Society},
  isbn = {978-1-4244-4634-6},
}

@book{MeyerD97,
  title = {Java Virtual Machine},
  author = {Jon Meyer and Troy Downing},
  year = {1997},
  tags = {Java},
  researchr = {https://researchr.org/publication/MeyerD97},
  cites = {0},
  citedby = {0},
  publisher = {O Reilly},
  isbn = {1-56592-194-1},
}

@inproceedings{DijkstraS06,
  title = {Ruler: Programming Type Rules},
  author = {Atze Dijkstra and S. Doaitse Swierstra},
  year = {2006},
  doi = {10.1007/11737414_4},
  url = {http://dx.doi.org/10.1007/11737414_4},
  tags = {programming languages, rule-based, attribute grammars, type system, rules, type checking, programming, type theory, incremental, grammar, domain-specific language},
  researchr = {https://researchr.org/publication/DijkstraS06},
  cites = {0},
  citedby = {0},
  pages = {30-46},
  booktitle = {Functional and Logic Programming, 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings},
  editor = {Masami Hagiya and Philip Wadler},
  volume = {3945},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-33438-6},
}

@article{KastensW91,
  title = {An Abstract Data Type for Name Analysis},
  author = {Uwe Kastens and William M. Waite},
  year = {1991},
  tags = {analysis, data-flow, data-flow analysis},
  researchr = {https://researchr.org/publication/KastensW91},
  cites = {0},
  citedby = {0},
  journal = {Acta Informatica},
  volume = {28},
  number = {6},
  pages = {539-558},
}

@inproceedings{EkmanH04,
  title = {Rewritable Reference Attributed Grammars},
  author = {Torbjörn Ekman and Görel Hedin},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3086&spage=144},
  tags = {attribute grammars, reference attribute grammars, graph-rewriting, rewriting, grammar},
  researchr = {https://researchr.org/publication/EkmanH04},
  cites = {0},
  citedby = {3},
  pages = {144-169},
  booktitle = {ECOOP 2004 - Object-Oriented Programming, 18th European Conference, Oslo, Norway, June 14-18, 2004, Proceedings},
  editor = {Martin Odersky},
  volume = {3086},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-22159-X},
}

@manual{HUTN,
  title = {Human Usable Textual Notation Specification},
  year = {2004},
  researchr = {https://researchr.org/publication/HUTN},
  cites = {0},
  citedby = {0},
  organization = {Object Management Group},
}

@inproceedings{369182,
  title = {Designing a reusable symbol table library},
  author = {Pei-Chi Wu and Jin-Hue Lin and Feng-Jian Wang},
  year = {1994},
  month = {aug},
  doi = {10.1109/TENCON.1994.369182},
  tags = {reusable components, rule-based, domain analysis, analysis, language design, reuse, rules, type checking, design, domain-specific language},
  researchr = {https://researchr.org/publication/369182},
  cites = {0},
  citedby = {0},
  booktitle = {TENCON '94. IEEE Region 10's Ninth Annual International Conference. Theme: Frontiers of Computer Technology. Proceedings of 1994},
}

@inproceedings{MiculanS03,
  title = {A framework for typed HOAS and semantics},
  author = {Marino Miculan and Ivan Scagnetto},
  year = {2003},
  doi = {10.1145/888251.888269},
  url = {http://doi.acm.org/10.1145/888251.888269},
  tags = {semantics},
  researchr = {https://researchr.org/publication/MiculanS03},
  cites = {0},
  citedby = {0},
  pages = {184-194},
  booktitle = {Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 27-29 August 2003, Uppsala, Sweden},
  publisher = {ACM},
  isbn = {1-58113-705-2},
}

@inproceedings{EkmanH07,
  title = {The {JastAdd} extensible {Java} compiler},
  author = {Torbjörn Ekman and Görel Hedin},
  year = {2007},
  doi = {10.1145/1297027.1297029},
  url = {http://doi.acm.org/10.1145/1297027.1297029},
  tags = {AspectJ, Java, application framework, architecture, analysis, language design, static analysis, type system, extensible compiler, type checking, compiler, JastAdd, design, extensible language},
  researchr = {https://researchr.org/publication/EkmanH07},
  cites = {0},
  citedby = {3},
  pages = {1-18},
  booktitle = {Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada},
  editor = {Richard P. Gabriel and David F. Bacon and Cristina Videira  Lopes and Guy L. Steele Jr.},
  publisher = {ACM},
  isbn = {978-1-59593-786-5},
}

@inproceedings{AnconaM04:0,
  title = {A Fresh Calculus for Name Management},
  author = {Davide Ancona and Eugenio Moggi},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3286&spage=206},
  researchr = {https://researchr.org/publication/AnconaM04%3A0},
  cites = {0},
  citedby = {0},
  pages = {206-224},
  booktitle = {Generative Programming and Component Engineering: Third International Conference, GPCE 2004, Vancouver, Canada, October 24-28, 2004. Proceedings},
  editor = {Gabor Karsai and Eelco Visser},
  volume = {3286},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-23580-9},
}

@misc{CSharpSpec2006,
  title = {Standard {ECMA-334} {C\#} Language Specification, 4th edition},
  year = {2006},
  tags = {C++},
  researchr = {https://researchr.org/publication/CSharpSpec2006},
  cites = {0},
  citedby = {0},
}

@article{Ranta04,
  title = {Grammatical Framework},
  author = {Aarne Ranta},
  year = {2004},
  doi = {10.1017/S0956796803004738},
  url = {http://dx.doi.org/10.1017/S0956796803004738},
  researchr = {https://researchr.org/publication/Ranta04},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {14},
  number = {2},
  pages = {145-189},
}

@article{Klug96,
  title = {Towards a Classification of Visibility Rules},
  author = {Michael A. Klug},
  year = {1996},
  tags = {rule-based, classification, rules},
  researchr = {https://researchr.org/publication/Klug96},
  cites = {0},
  citedby = {0},
  journal = {SIGPLAN Notices},
  volume = {31},
  number = {1},
  pages = {44-50},
}

@phdthesis{Garrison-CSD-88-400,
  title = {Modeling and Implementation of Visibility in Programming Languages},
  author = {Garrison, Phillip Edward},
  year = {1987},
  month = {Dec},
  url = {http://www.eecs.berkeley.edu/Pubs/TechRpts/1987/5871.html},
  tags = {programming languages, rule-based, program analysis, meta programming, data-flow language, meta-model, modeling language, modeling, term rewriting, language modeling, domain analysis, analysis, data-flow programming, data-flow, graph-rewriting, survey, rules, programming, Meta-Environment, rewriting, data-flow analysis, Pascal, systematic-approach, domain-specific language},
  researchr = {https://researchr.org/publication/Garrison-CSD-88-400},
  cites = {0},
  citedby = {0},
  school = {EECS Department, University of California, Berkeley},
  advisor = {Susan L. Graham},
}

@techreport{GrimmHarrisLe2007,
  title = {Typical: Taking the Tedium Out of Typing},
  author = {Robert Grimm and  Laune Harris and Anh Le},
  year = {2007},
  month = {November},
  tags = {rule-based, pattern language, software components, traversal, language engineering, software language engineering, software component, constraints, type system, software engineering, rules, C++, type checking, compiler, domain-specific language},
  researchr = {https://researchr.org/publication/GrimmHarrisLe2007},
  cites = {0},
  citedby = {0},
  institution = {New York University},
  type = {NYU CS Technical Report },
  number = {TR2007-904},
  address = {New York},
}

@article{GrayLHSW92,
  title = {ELI: A Complete, Flexible Compiler Construction System},
  author = {Robert W. Gray and Steven P. Levi and Vincent P. Heuring and Anthony M. Sloane and William M. Waite},
  year = {1992},
  tags = {completeness, compiler},
  researchr = {https://researchr.org/publication/GrayLHSW92},
  cites = {0},
  citedby = {1},
  journal = {Communications of the ACM},
  volume = {35},
  number = {2},
  pages = {121-130},
}

@article{Odersky93,
  title = {Defining Context-Dependent Syntax Without Using Contexts},
  author = {Martin Odersky},
  year = {1993},
  doi = {10.1145/169683.174159},
  url = {http://doi.acm.org/10.1145/169683.174159},
  tags = {context-aware},
  researchr = {https://researchr.org/publication/Odersky93},
  cites = {0},
  citedby = {0},
  journal = {ACM Transactions on Programming Languages and Systems},
  volume = {15},
  number = {3},
  pages = {535-562},
}

@article{Dewhurst87-1,
  title = {Flexible Symbol Table Structures for Compiling C++},
  author = {Stephen C. Dewhurst},
  year = {1987},
  tags = {C++, compiler},
  researchr = {https://researchr.org/publication/Dewhurst87-1},
  cites = {0},
  citedby = {0},
  journal = {Software: Practice and Experience},
  volume = {17},
  number = {8},
  pages = {503-512},
}

@inproceedings{Poetzsch-Heffter91,
  title = {Logic-Based Specification of Visibility Rules},
  author = {Arnd Poetzsch-Heffter},
  year = {1991},
  tags = {rule-based, rules, logic},
  researchr = {https://researchr.org/publication/Poetzsch-Heffter91},
  cites = {0},
  citedby = {0},
  pages = {63-74},
  booktitle = {PLILP},
}

@techreport{CardelliMA94,
  title = {Extensible syntax with lexical scoping},
  author = {Luca Cardelli and Florian Matthes and Martín Abadi},
  year = {1994},
  month = {February},
  url = {http://lucacardelli.name/Papers/SRC-121.ps},
  tags = {programming languages, object-oriented programming, rule-based, translation, syntax definition, meta programming, pattern language, generic programming, lexical syntax, graph transformation, graph query, SQL, extensible grammar, transformation language, language design, macros, graph-rewriting, rules, programming, subject-oriented programming, database, Meta-Environment, rewriting, parsing, incremental, design, extensible language, feature-oriented programming, meta-objects, transformation, grammar, query language, program transformation},
  researchr = {https://researchr.org/publication/CardelliMA94},
  cites = {0},
  citedby = {1},
  institution = {Digital Equipment Corporation Systems Research Center},
  type = {SRC Research Report},
  number = {121},
}

@article{BravenboerDOV06,
  title = {Program Transformation with Scoped Dynamic Rewrite Rules},
  author = {Martin  Bravenboer and Arthur van Dam and Karina Olmos and Eelco Visser},
  year = {2006},
  url = {https://content.iospress.com/articles/fundamenta-informaticae/fi69-1-2-06},
  tags = {programming languages, semantics, rule-based, formal semantics, graph transformation, dynamic rewrite rules, Stratego/XT, transformation language, term rewriting, language design, graph-rewriting, rules, operational semantics, context-aware, access control, rewriting, design, role-based access control, rewriting strategies, transformation, Stratego, program transformation},
  researchr = {https://researchr.org/publication/BravenboerDOV06},
  cites = {0},
  citedby = {4},
  journal = {Fundamenta Informaticae},
  volume = {69},
  number = {1-2},
  pages = {123-178},
}

@inproceedings{KastensPJ98,
  title = {The Eli System},
  author = {Uwe Kastens and Peter Pfahler and Matthias T. Jung},
  year = {1998},
  researchr = {https://researchr.org/publication/KastensPJ98},
  cites = {0},
  citedby = {0},
  pages = {294-297},
  booktitle = {Compiler Construction, 7th International Conference, CC 98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings},
  editor = {Kai Koskimies},
  volume = {1383},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-64304-4},
}

@article{Poetzsch-Heffter97,
  title = {Prototyping Realistic Programming Languages Based on Formal Specifications},
  author = {Arnd Poetzsch-Heffter},
  year = {1997},
  url = {http://link.springer.de/link/service/journals/00236/bibs/7034010/70340737.htm},
  tags = {programming languages, rule-based, programming},
  researchr = {https://researchr.org/publication/Poetzsch-Heffter97},
  cites = {0},
  citedby = {0},
  journal = {Acta Informatica},
  volume = {34},
  number = {10},
  pages = {737-772},
}

@inproceedings{Bowlden70,
  title = {A Symbol Table with Scope Recognition for the B-6500},
  author = {Henry J. Bowlden},
  year = {1970},
  researchr = {https://researchr.org/publication/Bowlden70},
  cites = {0},
  citedby = {0},
  pages = {1-19},
  booktitle = {ALGOL 68 Implementation: Proceedings of the IFIP Working Conference on ALGOL 68 Implementation, Munich, Germany, July 20-24, 1970},
  editor = {J. E. L. Peck},
  publisher = {North-Holland},
  isbn = {0-7204-2045-8},
}

@article{Klug94,
  title = {Basic operations of the VisiCola scope model},
  author = {Michael A. Klug},
  year = {1994},
  doi = {10.1145/185009.185018},
  url = {http://doi.acm.org/10.1145/185009.185018},
  tags = {meta-model, Meta-Environment},
  researchr = {https://researchr.org/publication/Klug94},
  cites = {0},
  citedby = {0},
  journal = {SIGPLAN Notices},
  volume = {29},
  number = {9},
  pages = {44-50},
}

@inproceedings{Ching00,
  title = {The design and implementation of an APL dialect, ELI},
  author = {Wai-Mee Ching},
  year = {2000},
  doi = {10.1145/570475.570485},
  url = {http://doi.acm.org/10.1145/570475.570485},
  tags = {design},
  researchr = {https://researchr.org/publication/Ching00},
  cites = {0},
  citedby = {0},
  pages = {69-76},
  booktitle = {Proceedings of the APL-Berlin-2000 Conference: Think Arrays in a Great City, APL 2000, Berlin, Germany, July 24-27, 2000},
  editor = {Dieter Lattermann and Dieter Kilsch},
  publisher = {ACM},
  isbn = {1-58113-182-8},
}

@article{BravenboerKVV08,
  title = {{Stratego/XT 0.17}. {A} language and toolset for program transformation},
  author = {Martin  Bravenboer and Karl Trygve Kalleberg and Rob Vermaas and Eelco Visser},
  year = {2008},
  doi = {10.1016/j.scico.2007.11.003},
  url = {http://dx.doi.org/10.1016/j.scico.2007.11.003},
  tags = {control systems, programming languages, object-oriented programming, concrete object syntax, reusable components, rule-based, completeness, meta programming, pattern language, graph transformation, Stratego/XT, transformation language, reuse, graph-rewriting, rules, transformation system, DSL, programming, subject-oriented programming, context-aware, abstraction, Meta-Environment, rewriting, rewriting strategies, feature-oriented programming, concrete syntax, meta-objects, transformation, Stratego, program transformation},
  researchr = {https://researchr.org/publication/BravenboerKVV08},
  cites = {0},
  citedby = {7},
  journal = {Science of Computer Programming},
  volume = {72},
  number = {1-2},
  pages = {52-70},
}

@article{Knuth68,
  title = {Semantics of Context-Free Languages},
  author = {Donald E. Knuth},
  year = {1968},
  url = {http://www.springerlink.com/content/m2501m07m4666813/},
  tags = {programming languages, semantics, rule-based, attribute grammars, formal semantics, context free languages, rules, e-science, programming, context-aware, grammar},
  researchr = {https://researchr.org/publication/Knuth68},
  cites = {0},
  citedby = {1},
  journal = {Theory Comput. Syst.},
  volume = {2},
  number = {2},
  pages = {127-145},
}

@inproceedings{PopescuGO10,
  title = {Strong Normalization for System F by HOAS on Top of FOAS},
  author = {Andrei Popescu and Elsa L. Gunter and Christopher J. Osborn},
  year = {2010},
  doi = {10.1109/LICS.2010.48},
  url = {http://doi.ieeecomputersociety.org/10.1109/LICS.2010.48},
  researchr = {https://researchr.org/publication/PopescuGO10},
  cites = {0},
  citedby = {0},
  pages = {31-40},
  booktitle = {Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010, 11-14 July 2010, Edinburgh, United Kingdom},
  publisher = {IEEE Computer Society},
  isbn = {978-0-7695-4114-3},
}

@article{RosuS10,
  title = {An overview of the {K} semantic framework},
  author = {Grigore Rosu and Traian-Florin Serbanuta},
  year = {2010},
  doi = {10.1016/j.jlap.2010.03.012},
  url = {http://dx.doi.org/10.1016/j.jlap.2010.03.012},
  researchr = {https://researchr.org/publication/RosuS10},
  cites = {0},
  citedby = {0},
  journal = {Journal of Logic and Algebraic Programming},
  volume = {79},
  number = {6},
  pages = {397-434},
}

@inproceedings{EfftingeVoelter2006,
  title = {{oAW xText: A framework for textual DSLs}},
  author = {Sven Efftinge and Markus Völter},
  year = {2006},
  tags = {DSL},
  researchr = {https://researchr.org/publication/EfftingeVoelter2006},
  cites = {0},
  citedby = {1},
  booktitle = {Workshop on Modeling Symposium at Eclipse Summit},
}

@article{Schnorf91,
  title = {Design of a Reusable Symbol Table Abstraction},
  author = {Peter Schnorf},
  year = {1991},
  tags = {reuse, abstraction, design},
  researchr = {https://researchr.org/publication/Schnorf91},
  cites = {0},
  citedby = {0},
  journal = {Software - Concepts and Tools},
  volume = {12},
  number = {2},
  pages = {63-74},
}

@inproceedings{DijkstraS04,
  title = {Typing Haskell with an Attribute Grammar},
  author = {Atze Dijkstra and S. Doaitse Swierstra},
  year = {2004},
  doi = {10.1007/11546382_1},
  url = {http://dx.doi.org/10.1007/11546382_1},
  tags = {attribute grammars, Haskell, grammar},
  researchr = {https://researchr.org/publication/DijkstraS04},
  cites = {0},
  citedby = {0},
  pages = {1-72},
  booktitle = {Advanced Functional Programming, 5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures},
  editor = {Varmo Vene and Tarmo Uustalu},
  volume = {3622},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-28540-7},
}

@article{RusinolLS10,
  title = {Symbol spotting in vectorized technical drawings through a lookup table of region strings},
  author = {Marçal Rusiñol and Josep Lladós and Gemma Sánchez},
  year = {2010},
  doi = {10.1007/s10044-009-0161-2},
  url = {http://dx.doi.org/10.1007/s10044-009-0161-2},
  researchr = {https://researchr.org/publication/RusinolLS10},
  cites = {0},
  citedby = {0},
  journal = {Pattern Anal. Appl.},
  volume = {13},
  number = {3},
  pages = {321-331},
}

@inproceedings{Assmann92:0,
  title = {Another Solution of Scoping Problems in Symbol Tables},
  author = {Werner Aßmann},
  year = {1992},
  tags = {programming languages, rule-based, source-to-source, rules, C++, programming, search, systematic-approach, open-source},
  researchr = {https://researchr.org/publication/Assmann92%3A0},
  cites = {0},
  citedby = {0},
  pages = {66-71},
  booktitle = {Compiler Construction, 4th International Conference on Compiler Construction, CC 92, Paderborn, Germany, October 5-7, 1992, Proceedings},
  editor = {Uwe Kastens and Peter Pfahler},
  volume = {641},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-55984-1},
}

@inproceedings{BurgerKWA10,
  title = {Reference Attribute Grammars for Metamodel Semantics},
  author = {Christoff Bürger and Sven Karol and Christian Wende and Uwe Aßmann},
  year = {2010},
  doi = {10.1007/978-3-642-19440-5_3},
  url = {http://dx.doi.org/10.1007/978-3-642-19440-5_3},
  tags = {semantics, attribute grammars, reference attribute grammars, grammar},
  researchr = {https://researchr.org/publication/BurgerKWA10},
  cites = {0},
  citedby = {0},
  pages = {22-41},
  booktitle = {Software Language Engineering - Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers},
  editor = {Brian A. Malloy and Steffen Staab and Mark van den Brand},
  volume = {6563},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-19439-9},
}

@inproceedings{ShinwellPG03,
  title = {FreshML: programming with binders made simple},
  author = {Mark R. Shinwell and Andrew M. Pitts and Murdoch Gabbay},
  year = {2003},
  doi = {10.1145/944705.944729},
  url = {http://doi.acm.org/10.1145/944705.944729},
  tags = {programming},
  researchr = {https://researchr.org/publication/ShinwellPG03},
  cites = {0},
  citedby = {0},
  pages = {263-274},
  booktitle = {Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, ICFP 2003, Uppsala, Sweden, August 25-29, 2003},
  editor = {Colin Runciman and Olin Shivers},
  publisher = {ACM},
  isbn = {1-58113-756-7},
}

@article{Paakki95,
  title = {Attribute Grammar Paradigms - A High-Level Methodology in Language Implementation},
  author = {Jukka Paakki},
  year = {1995},
  tags = {attribute grammars, grammar},
  researchr = {https://researchr.org/publication/Paakki95},
  cites = {0},
  citedby = {2},
  journal = {ACM Computing Surveys},
  volume = {27},
  number = {2},
  pages = {196-255},
}

@manual{OCL2012,
  title = {Object Constraint Language},
  year = {2012},
  tags = {meta-model, constraints, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/OCL2012},
  cites = {0},
  citedby = {0},
  organization = {Object Management Group},
  edition = {2.3.1},
}

@article{Stehr00,
  title = {CINNI - A Generic Calculus of Explicit Substitutions and its Application to lambda-, varsigma- and pi- Calculi},
  author = {Mark-Oliver Stehr},
  year = {2000},
  url = {http://www.elsevier.com/gej-ng/31/29/23/71/22/show/Products/notes/index.htt#006},
  tags = {rule-based, application framework, variable binding, term rewriting, graph-rewriting, logic, Meta-Environment, rewriting logic, rewriting, systematic-approach, meta-objects},
  researchr = {https://researchr.org/publication/Stehr00},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {36},
  pages = {70-92},
}

@inproceedings{eysholdt2010xtext,
  title = {{Xtext}: implement your language faster than the quick and dirty way},
  author = {M. Eysholdt and H. Behrens},
  year = {2010},
  tags = {rule-based, Java, interpreter, abstract syntax, EMF, code generation, compiler, parsing, incremental, grammar, domain-specific language},
  researchr = {https://researchr.org/publication/eysholdt2010xtext},
  cites = {0},
  citedby = {0},
  pages = {307-309},
  booktitle = {Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion},
  organization = {ACM},
}

@inproceedings{PowerM00:1,
  title = {Symbol Table Construction and Name Lookup in ISO C++},
  author = {James F. Power and Brian A. Malloy},
  year = {2000},
  doi = {10.1109/TOOLS.2000.891358},
  url = {http://doi.ieeecomputersociety.org/10.1109/TOOLS.2000.891358},
  tags = {C++},
  researchr = {https://researchr.org/publication/PowerM00%3A1},
  cites = {0},
  citedby = {0},
  pages = {57-69},
  booktitle = {TOOLS Pacific 2000: 37th International Conference on Technology of Object-Oriented Languages and Systems, Sydney, Australia, November 2000},
  publisher = {IEEE Computer Society},
}

@inproceedings{HickeyNYK06,
  title = {Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection},
  author = {Jason Hickey and Aleksey Nogin and Xin Yu and Alexei Kopylov},
  year = {2006},
  doi = {10.1145/1159803.1159826},
  url = {http://doi.acm.org/10.1145/1159803.1159826},
  tags = {meta-model, Meta-Environment, reflection, meta-objects},
  researchr = {https://researchr.org/publication/HickeyNYK06},
  cites = {0},
  citedby = {0},
  pages = {172-183},
  booktitle = {Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, ICFP 2006, Portland, Oregon, USA, September 16-21, 2006},
  editor = {John H. Reppy and Julia L. Lawall},
  publisher = {ACM},
  isbn = {1-59593-309-3},
}

@inproceedings{KonatVKWV2012,
  title = {The {Spoofax} Name Binding Language},
  author = {Gabriël Konat and Vlad A. Vergu and Lennart C. L. Kats and Guido Wachsmuth and Eelco Visser},
  year = {2012},
  doi = {10.1145/2384716.2384748},
  url = {https://doi.org/10.1145/2384716.2384748},
  tags = {C++, Spoofax},
  researchr = {https://researchr.org/publication/KonatVKWV2012},
  cites = {0},
  citedby = {0},
  booktitle = {Companion to the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2011, part of SPLASH 2012, Tucson, AR, USA, October 19 - 26, 2012},
  publisher = {ACM},
}

@inproceedings{Hedin09,
  title = {An Introductory Tutorial on {JastAdd} Attribute Grammars},
  author = {Görel Hedin},
  year = {2009},
  doi = {10.1007/978-3-642-18023-1_4},
  url = {http://dx.doi.org/10.1007/978-3-642-18023-1_4},
  tags = {attribute grammars, JastAdd, grammar},
  researchr = {https://researchr.org/publication/Hedin09},
  cites = {0},
  citedby = {0},
  pages = {166-200},
  booktitle = {Generative and Transformational Techniques in Software Engineering III - International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009. Revised Papers},
  editor = {Joao M. Fernandes and Ralf Lämmel and Joost Visser and João Saraiva},
  volume = {6491},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-18022-4},
}

@inproceedings{KatsV10,
  title = {The {Spoofax} language workbench: rules for declarative specification of languages and {IDEs}},
  author = {Lennart C. L. Kats and Eelco Visser},
  year = {2010},
  doi = {10.1145/1869459.1869497},
  url = {https://doi.org/10.1145/1869459.1869497},
  tags = {programming languages, model-to-model transformation, workbench, semantics, rule-based, Eclipse, meta programming, model editor, graph transformation, meta-model, transformation language, architecture, reuse, model-driven development, graph-rewriting, rules, C++, code completion, code generation, model transformation, programming, language workbench, Spoofax, Meta-Environment, rewriting, parsing, meta-objects, transformation, program transformation, domain-specific language},
  researchr = {https://researchr.org/publication/KatsV10},
  cites = {0},
  citedby = {2},
  pages = {444-463},
  booktitle = {Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2010},
  editor = {William R. Cook and Siobhán Clarke and Martin C. Rinard},
  address = {Reno/Tahoe, Nevada},
  publisher = {ACM},
  isbn = {978-1-4503-0203-6},
}

@inproceedings{EkmanH06,
  title = {Modular Name Analysis for {Java} Using {JastAdd}},
  author = {Torbjörn Ekman and Görel Hedin},
  year = {2006},
  doi = {10.1007/11877028_18},
  url = {http://dx.doi.org/10.1007/11877028_18},
  tags = {rule-based, Java, analysis, graph-rewriting, rules, compiler, context-aware, rewriting, JastAdd},
  researchr = {https://researchr.org/publication/EkmanH06},
  cites = {0},
  citedby = {1},
  pages = {422-436},
  booktitle = {Generative and Transformational Techniques in Software Engineering, International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers},
  editor = {Ralf Lämmel and João Saraiva and Joost Visser},
  volume = {4143},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-45778-X},
}

@inproceedings{Poetzsch-Heffter92,
  title = {Implementing High-Level Identification Specifications},
  author = {Arnd Poetzsch-Heffter},
  year = {1992},
  researchr = {https://researchr.org/publication/Poetzsch-Heffter92},
  cites = {0},
  citedby = {0},
  pages = {59-65},
  booktitle = {Compiler Construction, 4th International Conference on Compiler Construction, CC 92, Paderborn, Germany, October 5-7, 1992, Proceedings},
  editor = {Uwe Kastens and Peter Pfahler},
  volume = {641},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-55984-1},
}

@inproceedings{Gomez-MartinGG06,
  title = {Dynamic Binding Is the Name of the Game},
  author = {Marco Antonio Gómez-Martín and Pedro Pablo Gómez-Martín and Pedro A. González-Calero},
  year = {2006},
  doi = {10.1007/11872320_27},
  url = {http://dx.doi.org/10.1007/11872320_27},
  researchr = {https://researchr.org/publication/Gomez-MartinGG06},
  cites = {0},
  citedby = {0},
  pages = {229-232},
  booktitle = {Entertainment Computing - ICEC 2006, 5th International Conference, Cambridge, UK, September 20-22, 2006, Proceedings},
  editor = {Richard H. R. Harper and Matthias Rauterberg and Marco Combetto},
  volume = {4161},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-45259-1},
}

@inproceedings{BorealeBM05,
  title = {A General Name Binding Mechanism},
  author = {Michele Boreale and Maria Grazia Buscemi and Ugo Montanari},
  year = {2005},
  doi = {10.1007/11580850_5},
  url = {http://dx.doi.org/10.1007/11580850_5},
  researchr = {https://researchr.org/publication/BorealeBM05},
  cites = {0},
  citedby = {0},
  pages = {61-74},
  booktitle = {Trustworthy Global Computing, International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005, Revised Selected Papers},
  editor = {Rocco De Nicola and Davide Sangiorgi},
  volume = {3705},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-30007-4},
}

@inproceedings{HonsellMS01:1,
  title = {An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS},
  author = {Furio Honsell and Marino Miculan and Ivan Scagnetto},
  year = {2001},
  url = {http://link.springer.de/link/service/series/0558/bibs/2076/20760963.htm},
  tags = { algebra, systematic-approach},
  researchr = {https://researchr.org/publication/HonsellMS01%3A1},
  cites = {0},
  citedby = {0},
  pages = {963-978},
  booktitle = {Automata, Languages and Programming, 28th International Colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001, Proceedings},
  editor = {Fernando Orejas and Paul G. Spirakis and Jan van Leeuwen},
  volume = {2076},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-42287-0},
}

@inproceedings{AydemirCPPW08,
  title = {Engineering formal metatheory},
  author = {Brian E. Aydemir and Arthur Charguéraud and Benjamin C. Pierce and Randy Pollack and Stephanie Weirich},
  year = {2008},
  doi = {10.1145/1328438.1328443},
  url = {http://doi.acm.org/10.1145/1328438.1328443},
  tags = {programming languages, optimization, object-oriented programming, Machanized Metatheory, proof assistant, pattern language, type soundness, exceptions, Coq, variable binding, language engineering, Cofinite quantification, principles, little language, C++, metatheory, programming, subject-oriented programming, Syntactic type soundness, program optimization, systematic-approach, feature-oriented programming, Locally nameless},
  researchr = {https://researchr.org/publication/AydemirCPPW08},
  cites = {0},
  citedby = {0},
  pages = {3-15},
  booktitle = {Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008, San Francisco, California, USA, January 7-12, 2008},
  editor = {George C. Necula and Philip Wadler},
  publisher = {ACM},
  isbn = {978-1-59593-689-9},
}

@article{Reiss83,
  title = {Generation of Compiler Symbol Processing Mechanisms},
  author = {Steven P. Reiss},
  year = {1983},
  doi = {10.1145/69624.69625},
  url = {http://doi.acm.org/10.1145/69624.69625},
  tags = {programming languages, semantics, meta programming, meta-model, modeling language, language modeling, type system, source-to-source, compiler, programming, Meta-Environment, process modeling, open-source, domain-specific language},
  researchr = {https://researchr.org/publication/Reiss83},
  cites = {0},
  citedby = {0},
  journal = {ACM Transactions on Programming Languages and Systems},
  volume = {5},
  number = {2},
  pages = {127-163},
}

@article{AkessonEH10,
  title = {Implementation of a {Modelica} compiler using {JastAdd} attribute grammars},
  author = {Johan {\AA}kesson and Torbjörn Ekman and Görel Hedin},
  year = {2010},
  doi = {10.1016/j.scico.2009.07.003},
  url = {http://dx.doi.org/10.1016/j.scico.2009.07.003},
  tags = {attribute grammars, compiler, JastAdd, grammar},
  researchr = {https://researchr.org/publication/AkessonEH10},
  cites = {0},
  citedby = {0},
  journal = {Science of Computer Programming},
  volume = {75},
  number = {1-2},
  pages = {21-38},
}

@article{VirgilioF82,
  title = {Binding Strategies and Scope Rules Are Independent},
  author = {Thomas R. Virgilio and Raphael A. Finkel},
  year = {1982},
  tags = {rule-based, rules},
  researchr = {https://researchr.org/publication/VirgilioF82},
  cites = {0},
  citedby = {0},
  journal = {Computer Languages, Systems \& Structures},
  volume = {7},
  number = {2},
  pages = {61-67},
}

@article{Pottier06,
  title = {An overview of {C$\alpha$ml}},
  author = {François Pottier},
  year = {2006},
  doi = {10.1016/j.entcs.2005.11.039},
  url = {http://dx.doi.org/10.1016/j.entcs.2005.11.039},
  tags = {C++},
  researchr = {https://researchr.org/publication/Pottier06},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {148},
  number = {2},
  pages = {27-52},
}

@inproceedings{Sloane99,
  title = {Debugging Eli-Generated Compilers With Noosa},
  author = {Anthony M. Sloane},
  year = {1999},
  tags = {debugging, compiler},
  researchr = {https://researchr.org/publication/Sloane99},
  cites = {0},
  citedby = {0},
  pages = {17-31},
  booktitle = {Compiler Construction, 8th International Conference, CC 99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 99, Amsterdam, The Netherlands, 22-28 March, 1999, Proceedings},
  editor = {Stefan Jähnichen},
  volume = {1575},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-65717-7},
}

@techreport{Vor93,
  title = {Modelling and Specifying Name Visibility and Binding Semantics},
  author = {Scott A. Vorthmann},
  year = {1993},
  researchr = {https://researchr.org/publication/Vor93},
  cites = {0},
  citedby = {0},
}

@inproceedings{McKeeman76a,
  title = {Symbol Table Access},
  author = {William M. McKeeman},
  year = {1976},
  researchr = {https://researchr.org/publication/McKeeman76a},
  cites = {0},
  citedby = {0},
  pages = {253-301},
  booktitle = {Compiler Construction, An Advanced Course, 2nd ed},
  editor = {Friedrich L. Bauer and Jürgen Eickel},
  volume = {21},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-07542-9},
}

@article{SloaneW05,
  title = {Eclipse Support for Using Eli and Teaching Programming Languages},
  author = {Anthony M. Sloane and William M. Waite},
  year = {2005},
  doi = {10.1016/j.entcs.2005.02.058},
  url = {http://dx.doi.org/10.1016/j.entcs.2005.02.058},
  tags = {programming languages, Eclipse, teaching, programming},
  researchr = {https://researchr.org/publication/SloaneW05},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {141},
  number = {4},
  pages = {189-194},
}

@article{KastensW09,
  title = {Reusable specification modules for type analysis},
  author = {Uwe Kastens and William M. Waite},
  year = {2009},
  doi = {10.1002/spe.917},
  url = {http://dx.doi.org/10.1002/spe.917},
  tags = {analysis, reuse},
  researchr = {https://researchr.org/publication/KastensW09},
  cites = {0},
  citedby = {0},
  journal = {Software: Practice and Experience},
  volume = {39},
  number = {9},
  pages = {833-864},
}

@inproceedings{KatsSV09,
  title = {Decorated Attribute Grammars: Attribute Evaluation Meets Strategic Programming},
  author = {Lennart C. L. Kats and Anthony M. Sloane and Eelco Visser},
  year = {2009},
  doi = {10.1007/978-3-642-00722-4_11},
  url = {http://dx.doi.org/10.1007/978-3-642-00722-4_11},
  tags = {programming languages, rule-based, attribute grammars, program analysis, etaps, data-flow language, pattern language, generic programming, Stratego/XT, traversal, analysis, data-flow programming, data-flow, graph-rewriting, rules, C++, strategic programming, programming, rewriting, data-flow analysis, Aster, grammar, Stratego},
  researchr = {https://researchr.org/publication/KatsSV09},
  cites = {36},
  citedby = {1},
  pages = {142-157},
  booktitle = {Compiler Construction, 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings},
  editor = {Oege de Moor and Michael I. Schwartzbach},
  volume = {5501},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-00721-7},
}

@article{KlintKV08,
  title = {Language Parametric Module Management for IDEs},
  author = {Paul  Klint and Taeke Kooiker and Jurgen J.  Vinju},
  year = {2008},
  doi = {10.1016/j.entcs.2008.03.041},
  url = {http://dx.doi.org/10.1016/j.entcs.2008.03.041},
  tags = {programming languages, workbench, Java, meta programming, generic programming, SDF, functional programming, language design, source-to-source, code generation, programming, language workbench, Meta-Environment, design, ASF+SDF, IDE, open-source, domain-specific language},
  researchr = {https://researchr.org/publication/KlintKV08},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {203},
  number = {2},
  pages = {3-19},
}

@inproceedings{BubakFMSW99,
  title = {Symbol Table Management in an HPF Debugger},
  author = {Marian Bubak and Wlodzimierz Funika and Grzegorz Mlynarczyk and Krzysztof Sowa and Roland Wismüller},
  year = {1999},
  tags = {debugging},
  researchr = {https://researchr.org/publication/BubakFMSW99},
  cites = {0},
  citedby = {0},
  pages = {1278-1281},
  booktitle = {High-Performance Computing and Networking, 7th International Conference, HPCN Europe 1999, Amsterdam, The Netherlands, April 12-14, 1999, Proceedings},
  editor = {Peter M. A. Sloot and Marian Bubak and Alfons G. Hoekstra and Louis O. Hertzberger},
  volume = {1593},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-65821-1},
}