UNITY (programming language): Difference between revisions

Revision as of 22:40, 20 October 2015

Revision as of 13:22, 28 November 2017

Line 4:

}}

'''UNITY''' is a programming language that was constructed by [[K. Mani Chandy]] and [[Jayadev Misra]] for their book ''Parallel Program Design: A Foundation''. It is a theoretical language, which tries to focus on ''what'', instead of ''where'', ''when'' or ''how''. The language has no [[flow control (data)|flow control]], the [[statement (programming)|statement]]s in the program run in aan [[randomnondeterministic]] orderway, until none of the statements causes change if runexecuted. This allows for programs that run indefinitely (auto-pilot or power plant safety system) as well as programs that would normally terminate (which here converge to a [[Fixed point combinator|fixed point]]).

== Description ==