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

Revision as of 02:57, 13 June 2007

Revision as of 02:57, 13 June 2007

Line 6:

*'''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|<font color="#000000">*Cremepuff</font>]][[User talk:Cremepuff222|<font color="#696969">222*</font>]]</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. &mdash;[[User:Viriditas|Viriditas]] | [[User talk:Viriditas|Talk]] 02:57, 13 June 2007 (UTC) 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]] ^{<font color="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)

*See [ Tight, Practical Integration of Relations and Functions]