H ? « ‹ ← → › »

Language peer sets for Lucid Synchrone:
France↑
France/1995↑
Designed 1995 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑

Lucid Synchrone(ID:2752/luc003)

alternate simple view
Country: France
Designed 1995

Lucid Synchrone is a synchronous stream language dedicated to the implementation of reactive systems. It combines features of Lustre and ML languages. The name Lucid Synchrone is built from Lucid a data-flow language managing streams and from the French word "synchrone" (for "synchronous").

Marc Pouzet and Paul Caspi


 A functional language (ML) over streams
 Stream operations and clock mechanism similar to Lustre
 Clocks expressed as types, polymorphic, infered
 Created to study the link between functional and synchronous dataflow languages
Related languages
LUSTRE → Lucid Synchrone   Evolution of
ML → Lucid Synchrone   Evolution of
References:
  • P. Caspi et M. Pouzet. (1996) P. Caspi et M. Pouzet. "Reseaux de Kahn synchrones" Journees Francophones des langages applicatifs, Val Morin, Quebec. INRIA, Janvier 1996.
  • Paul Caspi and Marc Pouzet. (1997) Paul Caspi and Marc Pouzet. "A co-iterative characterization of synchronous stream functions" VERIMAG tech. report no. 97{07))
  • Paul Caspi and Marc Pouzet. (1998) Paul Caspi and Marc Pouzet. "A co-iterative characterization of syn- chronous stream functions" in Coalgebraic Methods in Computer Science (CMCS'98), Electronic Notes in Theoretical Computer Science, 28-29 March 1998
  • Caspi, Paul & Pouzet, Marc (1999) Caspi, Paul & Pouzet, Marc "Lucid Synchrone : une extension fonctionnelle de Lustre" Journees Francophones des Langages Applicatifs JFLA99 Fevrier 1999
  • S. Boulmé & G. Hamon (2001) S. Boulmé & G. Hamon "A clocked denotational semantic for Lucid-Synchrone in Coq" November 29, 2001 Abstract
    Resources
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder