Gabriël Konat, Lennart Kats, Guido Wachsmuth, and Eelco Visser (2013). Declarative Name Binding and Scope Rules. SLE 2012.
This paper introduces the concepts of NaBL and explains them with C# as an example language. The syntax of NaBL has slightly changed over the last two years, but the core concepts are still the same.
Guido Wachsmuth, Gabriël Konat, Vlad Vergu, Danny Groenewegen, and Eelco Visser (2013). A language independent task engine for incremental name and type analysis. SLE 2013.
This paper looks behind the scenes and explains how incremental name and type analysis is realised in Spoofax.
Eelco Visser, Guido Wachsmuth, Andrew Tolmach, Pierre Neron, Vlad Vergu, Augusto Passalaqua, and Gabriël Konat (2014). A Language Designer’s Workbench. A One-Stop-Shop for Implementation and Verification of Language Designs. Onward! 2014.
This paper promotes declarative language definitions as a single source for language implementation and verification. It presents a proof-of-concept language designer’s workbench that supports generation of IDEs, interpreters, and verification infrastructure from a single source. This constitutes a first milestone on the way to a system that fully automates language implementation and verification.