Language-Independent Type-Dependent Name Resolution

Language-Independent Type-Dependent Name Resolution

Van Antwerpen, H.
Neron, P.
Tolmach, A.
Visser, E.
Wachsmuth, G.

Electrical Engineering, Mathematics and Computer Science

Software Technology

2015-12-31

We extend and combine two existing declarative formalisms, the scope graphs of Neron et al. and type constraint systems, to build a language-independent theory that can describe both name and type resolution for realistic languages with complex scope and typing rules. Unlike conventional static semantics presentations, our approach maintains a clear separation between scoping and typing concerns, while still being able to handle language constructs, such as class field access, for which name and type resolution are necessarily intertwined. We define a constraint scheme that can express both typing and name binding constraints, and give a formal notion of constraint satisfiability together with a sound algorithm for finding solutions in important special cases. We describe the details of constraint generation for a model language that illustrates many of the interesting resolution issues associated with modules, classes, and records. Our constraint generator and solver have been implemented in the Spoofax Language Workbench.

http://resolver.tudelft.nl/uuid:c6c4a976-ba81-40c3-8dd0-d72eb1ea22e7

Delft University of Technology, Software Engineering Research Group

1872-5392

http://swerl.tudelft.nl/bin/view/Main/TechnicalReports

Report TD-SERG-2015-006

Institutional Repository

report

© 2015 The Author(s) . Software Engineering Research Group, Department of Software Technology, Faculty of Electrical Engineering, Mathematics and Computer Science, Delft University of Technology