Talk:OBJ (programming language): Difference between revisions

Browse history interactively

← Previous edit

Content deleted Content added

VisualWikitext

Add topic

Revision as of 06:59, 26 June 2008 edit TinucherianBot (talk \| contribs) 134,614 edits WP:COMPUTING Tagging ( False Postive ?? ) :(Plugin++) Added {{WikiProject Computing}}. ← Previous edit		Latest revision as of 09:58, 25 January 2024 edit undo Qwerfjkl (bot) (talk \| contribs) Bots, Mass message senders 4,087,894 edits Implementing WP:PIQA (Task 26) Tag: Talk banner shell conversion
(6 intermediate revisions by 6 users not shown)
Line 1: {{WikiProject ~~Computing~~banner shell\|class=Stub\|~~importance=}}~~ {{WikiProject Computing\|importance=low}} {{FOLDOC talk}}▼ }} ▲{{FOLDOC ~~talk~~}} == 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. <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-->