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

Content deleted Content added
MalnadachBot (talk | contribs)
m Fixed Lint errors. (Task 12)
MalnadachBot (talk | contribs)
m Fixed Lint errors. (Task 12)
 
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]]<sup>[[User talk:Localzuk|(talk)]]</sup> 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|<sup style="color:purple;">(talk)</sup>]] 01:57, 13 June 2007 (UTC)