Un système de modules avancé pour SIGNAL - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 1997

Un système de modules avancé pour SIGNAL

David Nowak
Environnement de programmation d'applications temps réel
Jean-Pierre Talpin
Environnement de programmation d'applications temps réel
Thierry Gautier
  • Fonction : Auteur
  • PersonId : 830655
Environnement de programmation d'applications temps réel

Résumé

Nous proposons un système de modules avancé pour SIGNAL permettant de définir des unités génériques, des types abstraits et de paramétrer les modules par d'autres modules. La première tâche a été de formaliser le typage de SIGNAL sous forme de règles d'inférences, puis d'en déduire un algorithme de synthèse automatique des types.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
RR-3176.pdf (336.75 Ko) Télécharger le fichier

Rapport De Recherche Inria  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/inria-00073513

Soumis le : mercredi 24 mai 2006-13:05:58

Dernière modification le : vendredi 24 mars 2023-14:52:47

Archivage à long terme le : dimanche 4 avril 2010-23:48:52

Télécharger pour visualiser

Dates et versions

inria-00073513 , version 1 (24-05-2006)

Identifiants

  • HAL Id : inria-00073513 , version 1

Citer

David Nowak, Jean-Pierre Talpin, Thierry Gautier. Un système de modules avancé pour SIGNAL. [Rapport de recherche] RR-3176, INRIA. 1997. ⟨inria-00073513⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

EC-PARIS UNIV-RENNES1 UNIV-LILLE3 CNRS INRIA INSA-RENNES IRISA INRIA-RRRT CRISTAL INRIA2 LARA UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES INSA-GROUPE UR1-MATH-NUM
102 Consultations
64 Téléchargements

Partager

Gmail Facebook X LinkedIn More