Jump to content

Talk:UNITY (programming language)

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by 81.53.227.195 (talk) at 21:42, 19 November 2008 (←Created page with 'Presenting Unity only as a programming language is weird. Its first half can be viewed as a specification language in the sense of SDL. But is is also a linear temp...'). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

Presenting Unity only as a programming language is weird. Its first half can be viewed as a specification language in the sense of SDL. But is is also a linear temporal logic with some axiomatized basic operators and a coherent set of proof rules. The whole is best defined as a programming methodology.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Talk:UNITY_(programming_language)&oldid=252861737"