Synchronous programming language

Programming language for programming reactive systems A synchronous programming language is a computer programming language optimized for programming reactive systems. Computer systems can be sorted in three main classes: Transformational systems take some inputs, process them, deliver their outputs, and terminate their execution. A typical example is a compiler. Interactive systems interact continuously with their environment, at their own speed. A typical example is the web. Reactive systems 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 systems, and are found often in embedded systems. Synchronous programming, also called synchronous reactive programming (SRP), is a computer programming paradigm supported by synchronous programming languages. The principle of SRP is to make the same abstraction for programming languages as the synchronous abstraction in digital circuits. Synchronous circuits are indeed designed at a h