Talk:OBJ (programming language)

Computing Stub‑class 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
Stub	This article has been rated as Stub-class on Wikipedia's content assessment scale.
Low	This article has been rated as Low-importance on the project's importance scale.

What is OBJ? an specification or programming language?

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)[reply]