Content deleted Content added
m Signing comment by 189.140.217.137 - "→What is OBJ? an specification or programming language?: new section" |
|||
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-->
|