Print Email Facebook Twitter Declarative Name Binding and Scope Rules Title Declarative Name Binding and Scope Rules Author Konat, G. Kats, L.C.L. Wachsmuth, G. Visser, E. Faculty Electrical Engineering, Mathematics and Computer Science Department Software Computer Technology Date 2012-12-31 Abstract Preprint of paper published in: SLE 2012 - 5th International Conference on Software Language Engineering, 26-28 September 2012, Lecture Notes in Computer Science 7745; doi:10.1007/978-3-642-36089-3_18 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 namespaces, 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. To reference this document use: http://resolver.tudelft.nl/uuid:ebf61531-bbdf-4bde-b991-7733d9ae4af4 Publisher Delft University of Technology, Software Engineering Research Group ISSN 1872-5392 Source Technical Report Series TUD-SERG-2012-015 Part of collection Institutional Repository Document type lecture notes Rights (c) 2012 The Author(s)Springer Files PDF TUD-SERG-2012-015.pdf 320.75 KB Close viewer /islandora/object/uuid:ebf61531-bbdf-4bde-b991-7733d9ae4af4/datastream/OBJ/view