Spoofax
latest
The Spoofax Language Workbench
Examples
Publications
Tutorials
Installing Spoofax
Creating a Language Project
Using the API
Getting Support
Reference Manual
Syntax Definition with SDF3
Static Semantics with NaBL2
1. Introduction
1.1. Name Resolution with Scope Graphs
2. Language Reference
3. Configuration
4. Examples
5. Bibliography
6. NaBL/TS (Deprecated)
Transformation with Stratego
Dynamic Semantics with DynSem
Editor Services with ESV
Language Testing with SPT
Building Languages
Programmatic API
Developing Spoofax
Releases
Latest Stable Release
Development Release
Release Archive
Migration Guides
Contributions
Contributions
Spoofax
Docs
»
Static Semantics Definition with NaBL2
»
1. Introduction
Edit on GitHub
1. Introduction
¶
1.1. Name Resolution with Scope Graphs
¶