Tempo Documentation - Interacting with a C Program Specializer

Renaud Marlet (1, 2, 3)

1 imagine [Marne-la-Vallée]
2 Phoenix - Programming Language Technology For Communication Services
3 LIGM - Laboratoire d'Informatique Gaspard-Monge

Tempo is a program specializer for C programs. It has been developed at IRISA / INRIA - University of Rennes 1 (1994-2000), and then at LaBRI / INRIA - University of Bordeaux 1 (since 2000). This technical report puts together a cleaned-up and reformatted version of the various on-line manuals and other useful documents that have been written on Tempo for its distribution, but that used to exist only as separate and sometimes mobile HTML pages. Grouping them and giving them a technical report number make it easy to reference them in a publication. Although it is not developed and maintained anymore, Tempo is still distributed. It can be downloaded from the Phoenix project-team web pages (http://phoenix.inria.fr/). Publications concerning Tempo as well as tutorial slides are also available on this web site. Technical information in this report is (theoretically) up to date with respect to the last official release of Tempo, dated February 11th, 2003.

Tempo est un spécialiseur de programmes C. Il a été développé à l'IRISA / INRIA - University of Rennes 1 (1994-2000), puis au LaBRI / INRIA - University of Bordeaux 1 (à partir de 2000). Ce rapport technique rassemble des versions « nettoyées » et remise en forme des divers manuels et autres documents pratiques qui ont été écrits pour la distribution de Tempo, mais qui n'existaient que sous forme de pages HTML séparées et parfois mobiles. Les regrouper et leur donner un numéro de rapport technique permet d'y faire proprement référence dans des publications. Bien qu'il ne soit désormais plus développé et maintenu, Tempo est toujours distribué. Il peut être téléchargé sur le site web de l'équipe-projet (http://phoenix.inria.fr/). Les publications de l'équipe sur Tempo ainsi que les transparents d'un tutoriel sont également disponibles sur ce site. Les informations techniques dans ce rapport sont (en théorie) à jour par rapport à la dernière version officielle de Tempo, qui date du 11 février 2003.

Mots clés: program specialization; partial evaluation; compile-time specialization; runtime specialization; user's guide; reference manual; C language

Domaines: Informatique et langage [cs.CL]; Génie logiciel [cs.SE]; Langage de programmation [cs.PL]

Renaud Marlet. Tempo Documentation - Interacting with a C Program Specializer. [Technical Report] RT-0390, INRIA. 2010, pp.149. ⟨inria-00516990⟩