Talk:OBJ (programming language)

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)