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,... Wikipedia