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 SineBot (talk | contribs) at 16:22, 7 October 2013 (Signing comment by Cipher1024 - ""). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

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.

A better presentation might be to start with the program notation, then go to the temporal logic and the inference rule and then show a short proof of correctness. — Preceding unsigned comment added by Cipher1024 (talk • contribs) 16:21, 7 October 2013 (UTC)[reply]

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