Publication interne
Les présents exposés écrits et oraux ainsi que tous les éléments qu'ils comportent, font l'objet d'une protection par le droit d'auteur.
PI 1109 : Un système de modules avancé pour SIGNAL
David Nowak , Jean-Pierre Talpin , Thierry Gautier
01 Juin 1997
34 pages
Langue: Français
Equipe(s): EP-ATR
Mots-clés: modules, typage, SIGNAL, 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.