Synchronous programming language: Difference between revisions

Revision as of 06:45, 19 December 2011

Revision as of 20:42, 25 January 2012

Line 1:

A '''synchronous programming language''' is a [[computer]] [[computer programming|programming]] [[programming language|language]] optimized for programming '''reactive systems'''. Computer systems can be sorted in three main classes: (1) '''transformational systems''' that take some inputs, process them, deliver their outputs, and terminate their execution; a typical example is a compiler; (2) '''interactive systems''' that interact continuously with their environment, at their own speed; a typical example is the web; and (3) reactive systems that interact continuously with their environment, at a speed imposed by the environment; a typical example is the automatic flight control system of modern airplanes. Reactive systems must therefore react to stimuli from the environment within strict time bounds. For this reason they are often also called [[Real-time computing|real-time systems]], and are found often in [[Embedded system|embedded systems]].

{{Unreferenced|date=September 2007}}

A '''synchronous programming language''' is a [[computer]] [[computer programming|programming]] [[programming language|language]] optimized for programming reactive systems, systems that are often interrupted and must respond quickly. Many such systems are also called [[Real-time computing|real-time]] systems, and are found often in [[Embedded system|embedded uses]]. The term 'reactive' is chosen to avoid ambiguities that occur sometimes when using the term 'real-time'. They are of growing importance.

'''Synchronous programming''' (also '''synchronous reactive programming''' or '''SRP''') is a computer programming [[Programming paradigm|paradigm]] supported by synchronous programming languages.

Line 23 ⟶ 22:

== External links ==

*[http://www-verimag.imag.fr/SYNCHRONE/ The Synchronous group] at Verimag lab.

*[http://www.irisa.fr/espresso/Polychrony/ The SIGNAL programming language].

*[http://www.ece.purdue.edu/~hankd/CARP/XPC/paper.html Unification of Synchronous and Asynchronous Models for Parallel Programming Languages] -- Proposes [[parallel languages]] based on [[C (programming language)|C]], lets programmers specify and manage parallelism on a broad range of computer architectures.

== References ==

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

{{Reflist}}