Synchronous programming language: Difference between revisions

Revision as of 21:29, 8 August 2012

Revision as of 06:33, 18 August 2012

Line 10:

Also in contrast are systems with processes that basically ''interact synchronously''. An example would be systems built based on the [[Communicating sequential processes|Communicating sequential processes (CSP)]] model, which also allows nondeterministic choice.

==Implementations==

The [[ESTEREL]] language is an example of a synchronous programming language.<ref name="Berry Gonthier">G. Berry and G. Gonthier. The synchronous programming language ESTEREL: Design, semantics, implementation. ''Science of Computer Programming'', 19(2), 1992.</ref>

==Synchronous languages==

Line 20 ⟶ 16:

*[[Averest]]

*[[ChucK]] (a synchronous reactive programming language for audio)

The *[[ESTERELEsterel]] language is an example of a synchronous programming language.<ref name="Berry Gonthier">G. Berry and G. Gonthier. The synchronous programming language ESTEREL: Design, semantics, implementation. ''Science of Computer Programming'', 19(2), 1992.</ref>

*[[Esterel]]

*[[LabVIEW]]

*[[LEA programming language|LEA]]

Line 31 ⟶ 27:

== References ==

* Nicolas Halbwachs. "Synchronous programming of reactive systems". Kluwer Academic Publishers, 1993. http://www-verimag.imag.fr/~halbwach/newbook.pdf

{{Reflist}}