Compilation efficace d'un langage déclaratif synchrone : le générateur de code Lustre-V3
Ce travail porte sur la production de code séquentiel à partir du langage flot de données synchrone Lustre. La difficulté essentielle provient de l'aspect déclaratif du langage. En effet, il n'y a pas d'instruction de contrôle dans le langage Lustre ; toute la structure de contrôle du...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
1991
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00198546 http://tel.archives-ouvertes.fr/docs/00/19/85/46/PDF/raymond91.pdf |