Un Simulateur Synchrone pour Lucid Synchrone

Grégoire Hamon 1 Marc Pouzet 1
1 SPI - Sémantiques, preuves et implantation
LIP6 - Laboratoire d'Informatique de Paris 6
Résumé : Cet article présente la réalisation d'un outil de simulation graphique pour Lucid synchrone, un langage de flots de données combinant le synchronisme de Lustre et la fonctionnalité de Ml et dédié à la programmation des systèmes réactifs. Ce simulateur est lui même réalisé en Lucid synchrone. L'utilisation du langage nous a offert une approche originale et efficace de la programmation d'interfaces graphiques.
Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01574461
Contributor : Lip6 Publications <>
Submitted on : Monday, August 14, 2017 - 3:57:52 PM
Last modification on : Thursday, March 21, 2019 - 1:06:22 PM

Identifiers

  • HAL Id : hal-01574461, version 1

Citation

Grégoire Hamon, Marc Pouzet. Un Simulateur Synchrone pour Lucid Synchrone. Journées Francophones des Langages Applicatifs (JFLA), Feb 1999, Avoriaz, France. ⟨hal-01574461⟩

Share

Metrics

Record views

30