- 博客(1)
- 资源 (2)
- 收藏
- 关注
Lucide Synchrone 3.0 manual
法国INRIA开发的同步语言。
Lucid Synchrone is an experimental language for the implementation of reactive systems. It is based on the synchronous model of time as provided by Lustre combined with some features from ML languages. The main characteristics of the language are the following:
It is a strongly typed, higher-order functional language managing infinite sequences or streams as primitive values. These streams are used for representing input and output signals of reactive systems and are combined through the use of synchronous data-flow primitives à la Lustre.
The language is founded on several type systems (e.g., type and clock inference, causality and initialization analysis) which statically guaranty safety properties on the generated code.
Programs are compiled into sequential imperative code.
The language is built above Objective Caml used as the host language. Combinatorial values are imported from Objective Caml and programs are compiled into Objective Caml code. A simple module system is provided for importing values from the host language or from other synchronous modules
2011-03-18
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人