Talk:UNITY (programming language)

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)