Omniscient debugging for executable DSLs

Publication
Journal of Systems and Software (JSS)