UNITY (programming language): Difference between revisions

Revision as of 18:13, 6 December 2017

Revision as of 05:55, 17 February 2018

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 focusfocuses on ''what'', instead of ''where'', ''when'' or ''how''. The language hascontains no method of [[flow control (data)|flow control]], theand program [[statement (programming)|statement]]s in the program run in ana [[Nondeterministic programming|nondeterministic]] way, until nonestatements ofcease the statementsto causescause changechanges ifduring executedexecution. This allows for programs thatto run indefinitely, such as (auto-pilot or power plant safety system)systems, as well as programs that would normally terminate (which here converge to a [[Fixed point combinator|fixed point]]).

== Description ==