Abstract
In this technical report we analyze existing generative programming technologies
with respect to prototypical example problems. We point out their
benefits and shortcomings, introduce the notion of generator type safety and
eventually propose a new approach, which integrates introspection with
parametric polymorphism and statically ensures generator type safety.
Get the report here or by anonymous ftp: Server: fubinf.inf.fu-berlin.de File: pub/reports/tr-b-04-02.ps.gz