Tempo Documentation - Interacting with a C Program Specializer

Renaud Marlet 1, 2, 3
1 IMAGINE [Marne-la-Vallée]
CSTB - Centre Scientifique et Technique du Bâtiment, LIGM - Laboratoire d'Informatique Gaspard-Monge, 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 (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.
Complete list of metadatas

Cited literature [27 references]  Display  Hide  Download

https://hal.inria.fr/inria-00516990
Contributor : Renaud Marlet <>
Submitted on : Monday, September 13, 2010 - 12:31:02 PM
Last modification on : Tuesday, February 26, 2019 - 10:14:09 AM
Long-term archiving on : Tuesday, December 14, 2010 - 2:43:32 AM

Files

RT-0390.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00516990, version 1

Citation

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

Share

Metrics

Record views

458

Files downloads

420