Formalizing and testing the consistency of DSL transformations

Sarmen Keshishzadeh, Arjan J. Mooij. Formalizing and testing the consistency of DSL transformations. Formal Asp. Comput., 28(2):181-206, 2016. [doi]

Abstract

Abstract is missing.