Revision as of 16:05, 6 March 2012 edit 189.140.217.137 (talk) →What is OBJ? an specification or programming language?: new section ← Previous edit		Revision as of 16:06, 6 March 2012 edit undo SineBot (talk \| contribs) Bots 2,564,816 edits m Signing comment by 189.140.217.137 - "→What is OBJ? an specification or programming language?: new section" Next edit →
Line 9: 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. <span style="font-size: smaller;" class="autosigned">— Preceding [[Wikipedia:Signatures\|unsigned]] comment added by [[Special:Contributions/189.140.217.137\|189.140.217.137]] ([[User talk:189.140.217.137\|talk]]) 16:05, 6 March 2012 (UTC)</span><!-- Template:Unsigned IP --> <!--Autosigned by SineBot-->

Talk:OBJ (programming language): Difference between revisions