CfPBoK
by
Vadim Zaytsev
sle2018/paper04
SLE 2018
paper:
Declarative Specification of Indentation Rules
Luís Eduardo de Souza Amorim
,
Michael J. Steindorfer
,
Sebastian Erdweg
,
Eelco Visser
DOI:
10.1145/3276604.3276607
T1B: Static Semantics
The paper’s main contribution concerns static semantics, especially typing or constraint checking.
T4A: Workbenches
It includes substantial tool support or infrastructure relevant for engineering/using languages.
T4B: Horizontal Transformation
It performs mapping/conversion/synchronisation between representations (horizontal transformations).
T4C: Vertical Transformation
It uses compilation/generation/refinement to derive executable artefacts (vertical transformations).
The page is maintained by
Dr. Vadim Zaytsev
a.k.a. @
grammarware
. Last updated: June 2026.