Nowak, David
- Talpin, Jean-Pierre
- Gautier, Thierry
Rapport de recherche de l'INRIA -
Rennes ,
Equipe : EPATR
34 pages - Juin 1997 - Document en français
Titre anglais : An Advanced Modules System for SIGNAL
Abstract : We propose a module system for {\sc Signal}. It allows to define generic units, abstract types and to parametrize modules by other modules. Our first work was to formalize the type system of {\sc Signal} with inference rule and then to deduce a type inference algorithm.
Résumé : Nous proposons un système de modules avancé pour {\sc 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 {\sc Signal} sous forme de règles d'inférences, puis d'en déduire un algorithme de synthèse automatique des types.
Key-Words : MODULES / TYPE SYSTEM / SIGNAL / REAL-TIME
Mots-clés : MODULES / TYPAGE / SIGNAL / TEMPS-RÉEL
