Tempo Specializer
Program-Transformation.Org: The Program Transformation Wiki
From http://compose.labri.u-bordeaux.fr/prototypes/tempo/ :
- Partial evaluation is a program transformation that automates a program specialization process. Tempo is a partial evaluator for C programs. It has been applied in various domains such as operating systems and networking, computer graphics, scientific computation, software engineering and domain specific languages. A first workshop on Tempo has been organized in March 1998. Tempo is now being distributed. Its documentation is available on line, as well as tutorial slides.
CategorySystem