Posted by: Pieter Van Gorp on Jul 01, 2010
Steffen Mazanek is currently presenting the live contest challenge for TTC. The domain under consideration is lambda calculus. This may sound theoretical at first but the concrete challenges involve many practical model to model and model to text issues.
The reference solution to the challenge is contained in this ZIP archive and can be evaluated in SHARE here. Note that during the contest you don't really need the SHARE demo, since the zip archive contains sufficient input and ouput models (a test suite for all transformation solutions).
Have fun, be sharp!