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

@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 = {iwmm},
}

@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 = {cc},
}

@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 = {plilp},
}

@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},
  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 = {SPE},
  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 = {iticse},
}

@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 = {birthday},
}

@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 = {ENTCS},
  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},
  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 = {lics},
}

@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 = {ENTCS},
  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 = {TSE},
  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 = {itp},
}

@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 = {SCP},
  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 = {fsttcs},
}

@article{WykBGK10,
  title = {Silver: An extensible attribute grammar system},
  author = {Eric {Van Wyk} and Derek Bodin and Jimin Gao and Lijesh Krishnan},
  year = {2010},
  doi = {10.1016/j.scico.2009.07.004},
  url = {http://dx.doi.org/10.1016/j.scico.2009.07.004},
  tags = {attribute grammars, grammar},
  researchr = {https://researchr.org/publication/WykBGK10},
  cites = {0},
  citedby = {0},
  journal = {SCP},
  volume = {75},
  number = {1-2},
  pages = {39-54},
}

@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},
  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 = {ESOP},
}

@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 = {sigplan},
}

@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 = {icnp},
}

@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 = {FLOPS},
}

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

@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 = {ppdp},
}

@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 = {OOPSLA},
}

@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 = {GPCE},
}

@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 = {JFP},
  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},
  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 = {CACM},
  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 = {TOPLAS},
  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 = {SPE},
  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 = {FUIN},
  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 = {CC},
}

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

@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},
  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 = {aplas},
}

@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 = {SCP},
  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 = {mst},
  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 = {lics},
}

@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 = {jlp},
  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 = {stp},
  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 = {afp},
}

@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 = {paa},
  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 = {cc},
}

@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 = {SLE},
}

@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 = {ICFP},
}

@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 Comput. Surv.},
  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 = {ENTCS},
  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},
}

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

@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 = {ICFP},
}

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

@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 = {GTTSE},
}

@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 = {OOPSLA},
}

@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 = {GTTSE},
}

@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 = {cc},
}

@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 = {iwec},
}

@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 = {tgc},
}

@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 = {icalp},
}

@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 = {POPL},
}

@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 = {TOPLAS},
  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 = {SCP},
  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 = {Comp. Lang., Syst. \& Struct.},
  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 = {ENTCS},
  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 = {cc},
}

@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 = {ac},
}

@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 = {ENTCS},
  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 = {SPE},
  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 = {CC},
}

@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 = {ENTCS},
  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 = {hpcn},
}