Un système de modules avancé pour SIGNAL
Document type :
Rapport de recherche
Title :
Un système de modules avancé pour SIGNAL
Author(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
Publication date :
1997
Keyword(s) :
MODULES
TYPAGE
SIGNAL
TEMPS-RÉEL
TYPAGE
SIGNAL
TEMPS-RÉEL
HAL domain(s) :
Informatique [cs]/Autre [cs.OH]
French abstract :
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 ...
Show more >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.Show less >
Show more >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.Show less >
Language :
Français
Collections :
Source :
Files
- https://hal.inria.fr/inria-00073513/document
- Open access
- Access the document
- https://hal.inria.fr/inria-00073513/document
- Open access
- Access the document
- https://hal.inria.fr/inria-00073513/document
- Open access
- Access the document