Skip to Main content Skip to Navigation
New interface
Reports (Technical report)

Tempo Documentation - Interacting with a C Program Specializer

Renaud Marlet 1, 2, 3 
1 imagine [Marne-la-Vallée]
LIGM - Laboratoire d'Informatique Gaspard-Monge, CSTB - Centre Scientifique et Technique du Bâtiment, ENPC - École des Ponts ParisTech
2 Phoenix - Programming Language Technology For Communication Services
LaBRI - Laboratoire Bordelais de Recherche en Informatique, Inria Bordeaux - Sud-Ouest, EA4136 - Handicap et système nerveux :Action, communication, interaction: rétablissement de la fonction et de la participation [Bordeaux]
Abstract : 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 ( 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.
Complete list of metadata

Cited literature [27 references]  Display  Hide  Download
Contributor : Renaud Marlet Connect in order to contact the contributor
Submitted on : Monday, September 13, 2010 - 12:31:02 PM
Last modification on : Wednesday, October 26, 2022 - 8:13:57 AM
Long-term archiving on: : Tuesday, December 14, 2010 - 2:43:32 AM


Files produced by the author(s)


  • HAL Id : inria-00516990, version 1


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



Record views


Files downloads