Tempo Documentation - Interacting with a C Program Specializer

Renaud Marlet 1, 2, 3
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]
Résumé : 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.
Type de document :
Rapport
[Technical Report] RT-0390, INRIA. 2010, pp.149
Liste complète des métadonnées

Littérature citée [27 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00516990
Contributeur : Renaud Marlet <>
Soumis le : lundi 13 septembre 2010 - 12:31:02
Dernière modification le : mercredi 11 avril 2018 - 12:12:03
Document(s) archivé(s) le : mardi 14 décembre 2010 - 02:43:32

Fichiers

RT-0390.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

351

Téléchargements de fichiers

354