Synchronous programming language

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.