Talk:OBJ (programming language)
 | This article is rated Stub-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||
| |||||||||||
 | This article is based on material taken from the Free On-line Dictionary of Computing prior to 1 November 2008 and incorporated under the "relicensing" terms of the GFDL, version 1.3 or later. |
What is OBJ? an specification or programming language?[edit]
This quotation comes from the cited source: "The OBJ languages are broad spectrum algebraic programming and specification languages." Modern functional programming languages are derivation of specification languages. It is wrong to say that OBJ is a family of programming languages. It is a family of formal specification languages. Although they may be used to generate target code, the main goal is to prove correctness.
This article should be extended and make clear the difference with declarative programming languages. — Preceding unsigned comment added by 189.140.217.137 (talk) 16:05, 6 March 2012 (UTC)