Luster (programovací jazyk) - Lustre (programming language)

Informace o souborovém systému klastru viz Lesk (souborový systém).

Lesk je formálně definováno, deklarativní, a synchronní programování toku dat jazyk pro programování reaktivních systémů. Začalo to jako výzkumný projekt na začátku 80. let. Formální prezentaci jazyka lze nalézt ve sborníku IEEE z roku 1991.[1] V roce 1993 pokročilo v praktické průmyslové využití v komerčním produktu jako základní jazyk průmyslového prostředí SCADE, vyvinutý společností Esterel Technologies. Nyní se používá pro kritický řídicí software v systému Windows letadlo,[2] vrtulníky, a jaderné elektrárny.

Struktura lesklých programů

Luster program je řada uzel definice, psané jako:

uzel foo (a: bool) vrátí (b: bool); nechť b = ne a; tel

Kde foo je název uzlu, A je název jediného vstupu tohoto uzlu a b je název jediného výstupu. v tomto příkladu uzel foo vrací negaci jeho vstupu A, což je očekávaný výsledek.

Vnitřní proměnné

Další interní proměnné lze deklarovat takto: 

 uzel Nand (X, Y: bool) vrací (Z: bool); var U: bool; nechť U = X a Y; Z = ne U; tel

Poznámka: Na pořadí rovnic nezáleží, pořadí řádků U = X a Y; a Z = ne U; nemění výsledek.

Speciální operátoři

před pVrátí předchozí hodnotu p
p -> qSoubor p jako počáteční hodnota výrazu q

Příklady

Detekce hrany

node edge (X: bool) returns (E: bool); let E = false -> X and not pre X; tel

Viz také

Reference

  1. ^ [1] N. Halbwachs a kol. Programovací jazyk synchronního toku dat LUSTER. V Proc. IEEE 1991 Vol. 79, No. 9. Zpřístupněno 17. března 2014.
  2. ^ „Příběhy o úspěchu SCADE“. Citováno 8. června 2013.

externí odkazy