Talk:UNITY (programming language)
Add topicLatest comment: 12 years ago by Cipher1024
 | This article is rated Start-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||
| |||||||||||
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)