- formal semantics
- type system
- name binding
- testing
- name binding
- type system
- constraints
- specification
- name binding (NaBL)
- type system (TS)
- constraints (TS)
- 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.