Calcul d'horloges et structures de contrôle dans lucid Synchrone, un langage de flots synchrones à la ML
Soutenance : 14/11/2002
Date de départ : 01/01/2003
Publications 1999-2004
2004
J.‑L. Colaço, A. Girault, G. Hamon, M. Pouzet : “Towards a Higher-order Synchronous Data-flow Language”, ACM Fourth International Conference on Embedded Software (EMSOFT'04), Pisa, Italy, pp. 230-239, (ACM) (2004)
S. Boulmé, G. Hamon : “Certifying Synchrony for free”, LPAR 2001 - 8th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, vol. 2250, Lecture Notes in Computer Science, La Havana, Cuba, pp. 495-506, (Springer-Verlag) (2001)