Wikipedia:Articles for deletion/ALF (programming language): Difference between revisions

Revision as of 16:30, 20 June 2007

Latest revision as of 10:45, 25 May 2022

(3 intermediate revisions by 2 users not shown)

Line 5:

Note: If you are seeing this page as a result of an attempt to re-nominate an article for deletion, you must manually edit the AfD nomination links in order to create a new discussion page using the name format of [[Wikipedia:Articles for deletion/PAGENAME (2nd nomination)]]. When you create the new discussion page, please provide a link to this old discussion in your nomination. -->

The result was <s>'''delete'''. [[User:Yamamoto_Ichiro|Yamamoto Ichiro]] <small>(山本一郎)([[User talk:Yamamoto Ichiro|会話]])</small> 04:41, 20 June 2007 (UTC)</s> upon futhurfurther examination, the result is '''no consensus, defaulting to keep'''. [[User:Yamamoto_Ichiro|Yamamoto Ichiro]] <small>(山本一郎)([[User talk:Yamamoto Ichiro|会話]])</small> 16:30, 20 June 2007 (UTC)

===[[ALF (programming language)]]===

Line 11:

No mention of its notability. The only results I can find via google are this page, the answers.com version of this page and the linked author's page. Delete it as non-notable. [[User:Localzuk|Localzuk]]^{[[User talk:Localzuk|(talk)]]} 14:51, 12 June 2007 (UTC)

*'''Delete''' nn. [[User:JJL|JJL]] 17:19, 12 June 2007 (UTC)

*'''Delete''', non-notable, and no sources. <span style="font-family: Berlin Sans FB Demi; font-size: 10pt">[[User:Cremepuff222|<fontspan colorstyle="color:#000000;">*Cremepuff</fontspan>]][[User talk:Cremepuff222|<fontspan colorstyle="color:#696969;">222*</fontspan>]]</span> 21:21, 12 June 2007 (UTC)

*'''Strong keep'''. Notable topic in computer science. Appears in at least [http://hopl.murdoch.edu.au/showlanguage.prx?exp=1804&name=ALF eight published papers] and in [http://books.google.com/books?q=functional+logic+ALF&btnG=Search+Books dozens of books]. Preponderance of reliable sources is unquestionable. It is currently listed at the [http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/prolog/impl/fp_lp/alf/0.html CMU Artificial Intelligence Repository]. Topic is discussed in the 2002 book, ''[http://books.google.com/books?id=U32ex75XhOAC&dq Knowledge Media in Healthcare]'', ISBN 1930708130, as well as the 1995 publication, ''[http://books.google.com/books?id=sXqhQZAEisoC&dq Intelligent Agents]'', ISBN 3540588558, and the 1997 publication by MIT Press, ''[http://books.google.com/books?id=hk14AMQGVSAC&dq Logic Programming]'', ISBN 0262631806. Boley calls ALF a "typical current proposal in the field of extended, declarative programming" and describes it a 1999 publication entitled, ''[http://books.google.com/books?id=OMwACkP_25gC&vq A Tight, Practical Integration of Relations and Functions]'', ISBN 3540666443. Also discussed in Thompson, Simon. (1997). ''[http://www.cs.kent.ac.uk/pubs/1997/201/index.html Constructive interval temporal logic in Alf]''. In International Conference on Temporal Logic .Applied Logic. Kluwer, Hanus; also M. and A. Schwab. (1991). ''The Implementation of the Functional-Logic Language ALF''. FB Informatik, Univ. Dortmund. &mdash;[[User:Viriditas|Viriditas]] | [[User talk:Viriditas|Talk]] 01:54, 13 June 2007 (UTC)

*'''Delete'''. I've read elsewhere that people have been having trouble finding third-party sources for this. [[User:SlimVirgin|SlimVirgin]] [[User_talk:SlimVirgin|^{<font colorstyle="Purplecolor:purple;">[[User_talk:SlimVirgin|(talk)]]</font>}]] 01:57, 13 June 2007 (UTC)

*'''Delete'''. Can't find any reliable sources showing notability as a real language. There are lots of created languages that get written up in some obscure paper, and the language is never actually used for any real projects. [[User:Crum375|Crum375]] 02:06, 13 June 2007 (UTC)

*'''Delete''' - published papers cited above are all by the creator of the language. The books linked all appear to be conference proceedings: probably with reprints of papers by the creator. The other claims are more difficult to verify but at the moment independent sources appear to be missing. -- [[User:Bpmullins|BPMullins]] | [[User talk:BPmullins|Talk]] 02:27, 13 June 2007 (UTC)

Line 26:

*:Could you clarify that; [http://scholar.google.com/scholar?q=functional-logic+alf this list] includes 120, and they dont appear to be trivial or all written by the same person. [[User:Jayvdb|John Vandenberg]] 05:33, 15 June 2007 (UTC)

:''The above discussion is preserved as an archive of the debate. <span style="color:red">'''Please do not modify it.'''</span> Subsequent comments should be made on the appropriate discussion page (such as the article's talk page or in a [[Wikipedia:Deletion review|deletion review]]). No further edits should be made to this page.'' <!--Template:Afd bottom--></div>