Content deleted Content added
Tag: |
|||
(2 intermediate revisions by 2 users not shown) | |||
Line 1:
{{WikiProject
{{WikiProject Computing|importance=low}}
}}
{{FOLDOC}}
== What is OBJ? an specification or programming language? ==
Line 9 ⟶ 12:
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-->
|