Vadim Zaytsev. Language Convergence Infrastructure. In Pre-proceedings of the 3rd International Summer School on Generative and Transformational Techniques in Software Engineering. Braga, Portugal, July 2009.
In the process of grammar convergence (involving grammar extraction and transformation for structural equivalence) there is a range of technical problems that can slow the language engineer considerably if not make the work completely infeasible altogether. The paper describes the DSL and the infrastructure behind it that fully automates the convergence process, hides unnecessary backend details, aids development/debugging and enables application of this technology to large scale projects. Guided transformations, transformation generators, grammar comparison, coupled transformations, validation and visualisation questions are addressed.