Arnaud Dieumegard, Marc Pantel, Guillaume Babin, Martin Carton. Tool Paper: A Lightweight Formal Encoding of a Constraint Language for DSMLs. In Achim D. Brucker, Marina Egea, Martin Gogolla, Frédéric Tuong, editors, Proceedings of the 15th International Workshop on OCL and Textual Modeling co-located with 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), Ottawa, Canada, September 28, 2015. Volume 1512 of CEUR Workshop Proceedings, pages 89-104, CEUR-WS.org, 2015. [doi]
Abstract is missing.