SLE 2015 tool/demo paper:
Designing Languages using Lightning

Loïc Gammaitoni, Pierre Kelsen, Christian Glodt

DOI: 10.1145/2814251.2814268
T4A: Workbenches
- The contribution centers on the Lightning tool for defining abstract syntax, concrete syntax, and semantics.
T5D: Formal Methods
- It bases language component definitions on Alloy, a lightweight formal method for specifying/analysing models.
T1A: Design
- It supports systematic design of language components (syntax + semantics) as the primary activity.
T1C: Behavioural Semantics
- Because it defines semantics and supports analysis via Alloy, it contributes to executable/behavioural semantic modeling.

The page is maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: June 2026.