UNITY

UNITY is a programming language constructed by K.

Mani Chandy and Jayadev Misra for their book Parallel Program Design: A Foundation.

It is a theoretical language which focuses on what, instead of where, when or how.

The language contains no method of flow control, and program statements run in a nondeterministic way until statements cease to cause changes during execution.

This allows for programs to run indefinitely, such as auto-pilot or power plant safety systems, as well as programs that would normally terminate (which here converge to a fixed point).