Language-Parametric Name Resolution Based on Declarative Name Binding and Scope Rules
Gabriël Konat, Lennart C. L. Kats, Guido Wachsmuth, Eelco Visser. Language-Parametric Name Resolution Based on Declarative Name Binding and Scope Rules. In International Conference on Software Language Engineering (SLE 2012), 2102. [pdf] [bib]
Abstract
In textual software languages, names are used to reference elements like variables, methods, classes, etc. Name resolution analyses these names in order to establish references between definition and use sites of elements. In this paper, we identify recurring patterns for name bindings in programming languages and introduce a declarative metalanguage for the specification of name bindings in terms of name-spaces, definition sites, use sites, and scopes. Based on such declarative name binding specifications, we provide a language-parametric algorithm for static name resolution during compile-time. We discuss the integration of the algorithm into the Spoofax Language Workbench and show how its results can be employed in semantic editor services like reference resolution, constraint checking, and content completion.
More information
More information about this project can be found at the Spoofax project.