The Spoofax Name Binding Language
Gabriël Konat, Vlad A. Vergu, Lennart C. L. Kats, Guido Wachsmuth, Eelco Visser. The Spoofax Name Binding Language. (Poster.) In Companion to the Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH 2012), pages 79—80, ACM, 2012. [pdf] [doi] [bib]
Abstract
In textual software languages, names are used to identify program elements such as variables, methods, and classes. Name analysis algorithms resolve names in order to establish references between definitions and uses of names. In this poster, we present the Spoofax Name Binding Language (NBL), a declarative meta-language for the specification of name binding and scope rules, which departs from the programmatic encodings of name binding provided by regular approaches. NBL aspires to become the universal language for name binding, which can be used next to BNF definitions in reference manuals, as well as serve the generation of implementations.
More information
More information about this project can be found at the Spoofax project. See also the full paper, Language-Parametric Name Resolution Based on Declarative Name Binding and Scope Rules.