Solving the TTC 2011 Compiler Optimization Task with metatools

The authors' "metatools" are a collection of tools for generic programming. This includes generating Java sources from mathematically well-founded specifications, as well as the creation of strictly typed document object models for XML encoded texts. In this context, almost every comp...

Full description

Bibliographic Details
Main Authors: Markus Lepper, Baltasar Trancón y Widemann
Format: Article
Language:English
Published: Open Publishing Association 2011-11-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1111.4744v1