Lucid Synchrone: une extension fonctionnelle de Lustre
Résumé
Nous présentons ici les progrès réalisés dans la conception, la sémantique et l'implantation de Lucid Synchrone, extension fonctionnelle de Lustre construite au dessus d'Objective Caml, qui combine l'expressivité de la programmation fonctionnelle en flots paresseux avec l'efficacité due au synchronisme. Ces progrès sont fondés sur la caractérisation du synchronisme en terme de co-itération et sa généralisation à l'ordre supérieur.