CfPBoK
by
Vadim Zaytsev
sle2018/vision2
SLE 2018
vision paper:
Languages as First-Class Citizens
Matteo Cimini
DOI:
10.1145/3276604.3276983
T6D: Synergies
The paper is explicitly a vision/position piece emphasising cross-cutting synergies and future directions.
T5D: Formal Methods
It relies on formal methods (definitions/proofs/semantic properties) beyond informal description.
T4D: Interpretation
It concerns runtime interpretation/execution (interpreters, debuggers, runtime services).
The page is maintained by
Dr. Vadim Zaytsev
a.k.a. @
grammarware
. Last updated: June 2026.