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. -- Main.EelcoVisser - 05 Dec 2001
----- CategorySystem