Talk:OBJ (programming language): Difference between revisions

Content deleted Content added

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		Latest revision as of 09:58, 25 January 2024 edit undo Qwerfjkl (bot) (talk \| contribs) Bots, Mass message senders 4,088,949 edits Implementing WP:PIQA (Task 26) Tag: Talk banner shell conversion
(2 intermediate revisions by 2 users not shown)
Line 1: {{WikiProject ~~Computing~~banner shell\|class=~~stub~~Stub\|~~importance=low}}~~ {{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-->