Lucid Synchrone: une extension fonctionnelle de Lustre

Paul Caspi Marc Pouzet 1
1 SPI - Sémantiques, preuves et implantation
LIP6 - Laboratoire d'Informatique de Paris 6
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.
Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01574464
Contributor : Lip6 Publications <>
Submitted on : Monday, August 14, 2017 - 4:03:05 PM
Last modification on : Thursday, March 21, 2019 - 2:39:06 PM

Identifiers

  • HAL Id : hal-01574464, version 1

Citation

Paul Caspi, Marc Pouzet. Lucid Synchrone: une extension fonctionnelle de Lustre. Journées Francophones des Langages Applicatifs (JFLA), Feb 1999, Avoriaz, France. ⟨hal-01574464⟩

Share

Metrics

Record views

56