CfPBoK
by
Vadim Zaytsev
sle2011/paper11
SLE 2011
paper:
Formalizing a Domain Specific Language Using SOS: An Industrial Case Study
Frank P. M. Stappers
,
Sven Weber
,
Michel Reniers
,
Suzana Andova
,
István Nagy
DOI:
10.1007/978-3-642-28830-2_13
T1C: Behavioural Semantics
The main result is an executable/behavioral semantics for a DSL defined using Structural Operational Semantics.
T5D: Formal Methods
Using SOS to formalise the DSL is a formal-methods approach to language definition and analysis.
T6B: Industrial
The work is grounded in an industrial case study.
The page is maintained by
Dr. Vadim Zaytsev
a.k.a. @
grammarware
. Last updated: June 2026.