Name Binding (researchr/bibliography/publications)

The Spoofax Name Binding LanguageGabriël Konat, Vlad A. Vergu, Lennart C. L. Kats, Guido Wachsmuth, Eelco Visser. In 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. 2012: [doi] [classification] 12 years ago

Declarative Name Binding and Scope RulesGabriël Konat, Lennart C. L. Kats, Guido Wachsmuth, Eelco Visser. SLE 2012: 311-331 [doi] [classification] 12 years ago

Modeling and Implementation of Visibility in Programming LanguagesGarrison, Phillip Edward. PhD thesis, EECS Department, University of California, Berkeley, Dec 1987. [classification] 12 years ago

Grammatical FrameworkAarne Ranta. JFP, 14(2):145-189, 2004. [doi] [classification] 12 years ago

Reusable specification modules for type analysisUwe Kastens, William M. Waite. SPE, 39(9):833-864, 2009. [doi] [classification] 12 years ago

An Abstract Data Type for Name AnalysisUwe Kastens, William M. Waite. ACTA, 28(6):539-558, 1991. [classification] 12 years ago

Logic-Based Specification of Visibility RulesArnd Poetzsch-Heffter. plilp 1991: 63-74 [classification] 12 years ago

VisiCola, a model and a language for visibility control in programming languagesMichael A. Klug. SIGPLAN, 26(2):51-63, 1991. [doi] [classification] 12 years ago

Programming Language Specification and Prototyping Using the MAX SystemArnd Poetzsch-Heffter. plilp 1993: 137-150 [classification] 12 years ago

Implementing High-Level Identification SpecificationsArnd Poetzsch-Heffter. cc 1992: 59-65 [classification] 12 years ago

Basic operations of the VisiCola scope modelMichael A. Klug. SIGPLAN, 29(9):44-50, 1994. [doi] [classification] 12 years ago

Developing Efficient Interpreters Based on Formal Language SpecificationsArnd Poetzsch-Heffter. cc 1994: 233-247 [classification] 12 years ago

Prototyping Realistic Programming Languages Based on Formal SpecificationsArnd Poetzsch-Heffter. ACTA, 34(10):737-772, 1997. [doi] [classification] 12 years ago

Towards a Classification of Visibility RulesMichael A. Klug. SIGPLAN, 31(1):44-50, 1996. [classification] 12 years ago

Human Usable Textual Notation SpecificationObject Management Group, 2004. [classification] 12 years ago

Object Constraint LanguageObject Management Group, 2.3.1, 2012. [classification] 12 years ago

Java Virtual MachineJon Meyer, Troy Downing. O Reilly, 1997. [classification] 12 years ago

Semantics of Context-Free LanguagesDonald E. Knuth. mst, 2(2):127-145, 1968. [doi] [classification] 12 years ago

Efficient annotated termsMark G. J. van den Brand, H. A. de Jong, Paul Klint, Pieter A. Olivier. SPE, 30(3):259-291, 2000. [doi] [classification] 12 years ago

Standard ECMA-334 C# Language Specification, 4th edition2006. [classification] 12 years ago

Modularity and Reusability in Attribute GrammarsUwe Kastens, William M. Waite. ACTA, 31(7):601-627, 1994. [doi] [classification] 12 years ago

The design and implementation of an APL dialect, ELIWai-Mee Ching. aplas 2000: 69-76 [doi] [classification] 12 years ago

Debugging Eli-Generated Compilers With NoosaAnthony M. Sloane. cc 1999: 17-31 [classification] 12 years ago

Eclipse Support for Using Eli and Teaching Programming LanguagesAnthony M. Sloane, William M. Waite. ENTCS, 141(4):189-194, 2005. [doi] [classification] 12 years ago

VL-Eli: A Generator for Visual Languages - System DemonstrationUwe Kastens, Carsten Schmidt. ENTCS, 65(3):139-143, 2002. [doi] [classification] 12 years ago

ELI: A Complete, Flexible Compiler Construction SystemRobert W. Gray, Steven P. Levi, Vincent P. Heuring, Anthony M. Sloane, William M. Waite. CACM, 35(2):121-130, 1992. [classification] 12 years ago

Typing Haskell with an Attribute GrammarAtze Dijkstra, S. Doaitse Swierstra. afp 2005: 1-72 [doi] [classification] 12 years ago

Silver: An extensible attribute grammar systemEric {Van Wyk}, Derek Bodin, Jimin Gao, Lijesh Krishnan. SCP, 75(1-2):39-54, 2010. [doi] [classification] 12 years ago

The Eli SystemUwe Kastens, Peter Pfahler, Matthias T. Jung. CC 1998: 294-297 [classification] 12 years ago

Ruler: Programming Type RulesAtze Dijkstra, S. Doaitse Swierstra. FLOPS 2006: 30-46 [doi] [classification] 12 years ago

Polarized Name PassingMartin Odersky. fsttcs 1995: 324-337 [classification] 12 years ago

A Fresh Calculus for Name ManagementDavide Ancona, Eugenio Moggi. GPCE 2004: 206-224 [doi] [classification] 12 years ago

Identifiers and static name abstractionMark B. Wells. SIGPLAN, 25(5):25-28, 1990. [doi] [classification] 12 years ago

Extensible syntax with lexical scopingLuca Cardelli, Florian Matthes, Martín Abadi. SRC Research Report 121, 1994. [doi] [classification] 12 years ago

Scope Dominance with Generalized QuantifiersGilad Ben-Avi, Yoad Winter. birthday 2009: 36-44 [doi] [classification] 12 years ago

Scoped Dynamic Rewrite RulesEelco Visser. ENTCS, 59(4):375-396, 2001. [doi] [classification] 12 years ago

A General Name Binding MechanismMichele Boreale, Maria Grazia Buscemi, Ugo Montanari. tgc 2005: 61-74 [doi] [classification] 12 years ago

Dynamic Binding Is the Name of the GameMarco Antonio Gómez-Martín, Pedro Pablo Gómez-Martín, Pedro A. González-Calero. iwec 2006: 229-232 [doi] [classification] 12 years ago

Static Name Control for FreshMLFrançois Pottier. lics 2007: 356-365 [doi] [classification] 12 years ago

A language generic solution for name binding preservation in refactoringsMaartje de Jonge, Eelco Visser. LDTA 2012: 2 [doi] [classification] 12 years ago

Quality of Name Resolution in the Domain Name SystemCasey T. Deccio, Chao-Chih Chen, Jeff Sedayao, Krishna Kant, Prasant Mohapatra. icnp 2009: 113-122 [doi] [classification] 12 years ago

Binding Strategies and Scope Rules Are IndependentThomas R. Virgilio, Raphael A. Finkel. Comp. Lang., Syst. \& Struct., 7(2):61-67, 1982. [classification] 12 years ago

A Symbol Table with Scope Recognition for the B-6500Henry J. Bowlden. algol 1971: 1-19 [classification] 12 years ago

Symbol Table Management in an HPF DebuggerMarian Bubak, Wlodzimierz Funika, Grzegorz Mlynarczyk, Krzysztof Sowa, Roland Wismüller. hpcn 1999: 1278-1281 [classification] 12 years ago

Integrated symbol table, engine and heap memory management in multi-engine prologPaul Tarau. iwmm 2011: 129-138 [doi] [classification] 12 years ago

Symbol spotting in vectorized technical drawings through a lookup table of region stringsMarçal Rusiñol, Josep Lladós, Gemma Sánchez. paa, 13(3):321-331, 2010. [doi] [classification] 12 years ago

Symbol Table Construction and Name Lookup in ISO C++James F. Power, Brian A. Malloy. TOOLS 2000: 57-69 [doi] [classification] 12 years ago

A Symbol Table Abstraction to Implement Languages with Explicit Scope ControlRobert P. Cook, Thomas J. LeBlanc. TSE, 9(1):8-12, 1983. [classification] 12 years ago

Symbol Table AccessWilliam M. McKeeman. ac 1976: 253-301 [classification] 12 years ago

Visualizing the symbol tableJaime Urquiza-Fuentes, Micael Gallego-Carrillo, Francisco Gortázar-Bellas, J. Ángel Velázquez-Iturbide. iticse 2006: 341 [doi] [classification] 12 years ago

Design of a Reusable Symbol Table AbstractionPeter Schnorf. stp, 12(2):63-74, 1991. [classification] 12 years ago

Generation of Compiler Symbol Processing MechanismsSteven P. Reiss. TOPLAS, 5(2):127-163, 1983. [doi] [classification] 12 years ago

Program CompilersAnthony M. Sloane. In Benjamin W. Wah, editor, Wiley Encyclopedia of Computer Science and Engineering. John Wiley & Sons, Inc., 2008. [doi] [classification] 12 years ago

Flexible Symbol Table Structures for Compiling C++Stephen C. Dewhurst. SPE, 17(8):503-512, 1987. [classification] 12 years ago

Designing a reusable symbol table libraryPei-Chi Wu, Jin-Hue Lin, Feng-Jian Wang. In TENCON '94. IEEE Region 10's Ninth Annual International Conference. Theme: Frontiers of Computer Technology. Proceedings of 1994. 1994: [doi] [classification] 12 years ago

Hashed symbol tables for languages with explicit scope controlSusan L. Graham, William N. Joy, Olivier Roubine. sigplan 1979: 50-57 [doi] [classification] 12 years ago

Another Solution of Scoping Problems in Symbol TablesWerner Aßmann. cc 1992: 66-71 [classification] 12 years ago

Rewritable Reference Attributed GrammarsTorbjörn Ekman, Görel Hedin. ECOOP 2004: 144-169 [doi] [classification] 12 years ago

The JastAdd system - modular extensible compiler constructionTorbjörn Ekman, Görel Hedin. SCP, 69(1-3):14-26, 2007. [doi] [classification] 12 years ago

Decorated Attribute Grammars: Attribute Evaluation Meets Strategic ProgrammingLennart C. L. Kats, Anthony M. Sloane, Eelco Visser. CC 2009: 142-157 [doi] [classification] 12 years ago

The JastAdd extensible Java compilerTorbjörn Ekman, Görel Hedin. OOPSLA 2007: 1-18 [doi] [classification] 12 years ago

A pure embedding of attribute grammarsAnthony M. Sloane, Lennart C. L. Kats, Eelco Visser. SCP, 78(10):1752-1769, 2013. [doi] [classification] 12 years ago

Reference Attribute Grammars for Metamodel SemanticsChristoff Bürger, Sven Karol, Christian Wende, Uwe Aßmann. SLE 2010: 22-41 [doi] [classification] 12 years ago

Modular Name Analysis for Java Using JastAddTorbjörn Ekman, Görel Hedin. GTTSE 2006: 422-436 [doi] [classification] 12 years ago

Implementation of a Modelica compiler using JastAdd attribute grammarsJohan {\AA}kesson, Torbjörn Ekman, Görel Hedin. SCP, 75(1-2):21-38, 2010. [doi] [classification] 12 years ago

Formalising and Verifying Reference Attribute Grammars in CoqMax Schäfer, Torbjörn Ekman, Oege de Moor. ESOP 2009: 143-159 [doi] [classification] 12 years ago

An Introductory Tutorial on JastAdd Attribute GrammarsGörel Hedin. GTTSE 2011: 166-200 [doi] [classification] 12 years ago

Tutorials and Documentation for Xtext 2.0\url{http://www.eclipse.org/Xtext/documentation/}, 2011. [classification] 12 years ago

Xtext: implement your language faster than the quick and dirty wayM. Eysholdt, H. Behrens. In Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion. 2010: 307-309 [classification] 12 years ago

An Axiomatic Approach to Metareasoning on Nominal Algebras in HOASFurio Honsell, Marino Miculan, Ivan Scagnetto. icalp 2001: 963-978 [doi] [classification] 12 years ago

A framework for typed HOAS and semanticsMarino Miculan, Ivan Scagnetto. ppdp 2003: 184-194 [doi] [classification] 12 years ago

Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflectionJason Hickey, Aleksey Nogin, Xin Yu, Alexei Kopylov. ICFP 2006: 172-183 [doi] [classification] 12 years ago

Strong Normalization for System F by HOAS on Top of FOASAndrei Popescu, Elsa L. Gunter, Christopher J. Osborn. lics 2010: 31-40 [doi] [classification] 12 years ago

oAW xText: A framework for textual DSLsSven Efftinge, Markus Völter. In Workshop on Modeling Symposium at Eclipse Summit. 2006: [classification] 12 years ago

Download

Maintained by

All Publications

Filter by Year

[-]
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Recently Added

Recently Removed

New Entries

Researchr

Bibliography: Name Binding

Recently Added

Download

Maintained by

All Publications

Filter by Year [-]OR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Recently Added

Recently Removed

New Entries

Researchr

Bibliography: Name Binding

Recently Added

Filter by Year

[-]
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1