CfPBoK
by
Vadim Zaytsev
sle2015/tool2
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.