Oszkár Semeráth, Ákos Horváth, Dániel Varró. Validation of Derived Features and Well-Formedness Constraints in DSLs - By Mapping Graph Queries to an SMT-Solver. In Ana Moreira, Bernhard Schätz, Jeff Gray, Antonio Vallecillo, Peter J. Clarke, editors, Model-Driven Engineering Languages and Systems - 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 - October 4, 2013. Proceedings. Volume 8107 of Lecture Notes in Computer Science, pages 538-554, Springer, 2013. [doi]
Abstract is missing.