Ted Kaminski. Verifiable Composition of Language Extensions. In Ulrich W. Eisenecker, Christian Bucholdt, editors, Proceedings of the Doctoral Symposium of the 5th International Conference on Software Language Engineering 2012, Dresden, Germany, Sep 25, 2012. Volume 935 of CEUR Workshop Proceedings, pages 53-59, CEUR-WS.org, 2012. [doi]
Abstract is missing.