Un système de modules avancé pour SIGNAL
Type de document :
Rapport de recherche
Titre :
Un système de modules avancé pour SIGNAL
Auteur(s) :
Nowak, David [Auteur]
Environnement de programmation d'applications temps réel [EP-ATR]
Talpin, Jean-Pierre [Auteur]
Environnement de programmation d'applications temps réel [EP-ATR]
Gautier, Thierry [Auteur]
Environnement de programmation d'applications temps réel [EP-ATR]
Environnement de programmation d'applications temps réel [EP-ATR]
Talpin, Jean-Pierre [Auteur]
Environnement de programmation d'applications temps réel [EP-ATR]
Gautier, Thierry [Auteur]
Environnement de programmation d'applications temps réel [EP-ATR]
Institution :
INRIA
Date de publication :
1997
Mot(s)-clé(s) :
MODULES
TYPAGE
SIGNAL
TEMPS-RÉEL
TYPAGE
SIGNAL
TEMPS-RÉEL
Discipline(s) HAL :
Informatique [cs]/Autre [cs.OH]
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 ...
Lire la suite >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.Lire moins >
Lire la suite >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.Lire moins >
Langue :
Français
Collections :
Source :
Fichiers
- https://hal.inria.fr/inria-00073513/document
- Accès libre
- Accéder au document
- https://hal.inria.fr/inria-00073513/document
- Accès libre
- Accéder au document
- https://hal.inria.fr/inria-00073513/document
- Accès libre
- Accéder au document
- document
- Accès libre
- Accéder au document
- RR-3176.pdf
- Accès libre
- Accéder au document