CfPBoK
by
Vadim Zaytsev
sle2021/paper03
SLE 2021
paper:
Executing Certified Model Transformations on Apache Spark
Jolan Philippe
,
Massimo Tisi
,
Hélène Coullon
,
Gerson Sunyé
DOI:
10.1145/3486608.3486901
T3B: Transformation Languages
The paper’s central topic is specifying or applying transformations (rewriting/mapping/synchronisation).
T4A: Workbenches
It includes substantial tool support or infrastructure relevant for engineering/using languages.
T5D: Formal Methods
It relies on formal methods (definitions/proofs/semantic properties) beyond informal description.
T5E: Empirical Evaluation
It reports an empirical evaluation (experiments, study, benchmarks, or measurements).
The page is maintained by
Dr. Vadim Zaytsev
a.k.a. @
grammarware
. Last updated: June 2026.