Trace Comprehension Operators for Executable DSLs. - Dorian Leroy; Erwan Bousse; Anaël Megna; Benoît Combemale; Manuel Wimmer (ECMFA, 2018)