WG211/M11Visser
From WG 2.11
Declarative Language Definition
In this talk I present our recent work on more declarative DSLs for language definition in Spoofax. In particular, I'll talk about our DSL for name analysis, which supports declaration of scope rules and name binding, and from which many static analyses and editor services are automatically derived.
-- Eelco Visser