HAMON Grégoire

Аспирант at Sorbonne University - SPI

Научны(е)й руководител(и)ь : Marc POUZET

Calcul d'horloges et structures de contrôle dans lucid Synchrone, un langage de flots synchrones à la ML

Защита диссертаций : 14.11.2002

Окончание контракта : 01.01.2003

All Информационная поддержка Диссертация

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)
2002
- G. Hamon : “Calcul d’horloges et structures de contrôle dans lucid Synchrone, un langage de flots synchrones à la ML”, диссертация, Защита диссертаций 14.11.2002, Научны(е)й руководител(и)ь Pouzet, Marc (2002)
2001
- S. Boulmé, G. Hamon : “Certifying Synchrony for free”, LPAR 2001 - 8^th 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)
2000
- G. Hamon, M. Pouzet : “Modular Resetting of Synchronous Data-flow Programs”, ACM International conference on Principles of Declarative Programming (PPDP'00), Montreal, Canada, (ACM) (2000)
1999
- G. Hamon, M. Pouzet : “Un Simulateur Synchrone pour Lucid Synchrone”, Journées Francophones des Langages Applicatifs (JFLA), Avoriaz, France, (INRIA) (1999)