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)

This article is rated Start-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects:

Computing Low‑importance This article is within the scope of WikiProject Computing, a collaborative effort to improve the coverage of computers, computing, and information technology on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.ComputingWikipedia:WikiProject ComputingTemplate:WikiProject ComputingComputing Low This article has been rated as Low-importance on the project's importance scale.

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]