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

Revision as of 15:07, 13 June 2007

Revision as of 15:50, 13 June 2007

Line 12:

*'''Keep'''. Google scholar lists ~120 [http://scholar.google.com/scholar?q=functional-logic+alf papers related in some way to ALF]. Many of these are trivial mentions but [http://scholar.google.com/scholar?num=20&hl=en&lr=&safe=off&cluster=15504922400856969496 Compiling Logic Programs with Equality] (one of Hanus' papers) is not and has 71 citations. Another of Hanus' ALF papers, [http://scholar.google.com/scholar?num=20&hl=en&lr=&safe=off&cluster=17824576622617000993 Improving Control of Logic Programs by Using Functional Logic Languages], has an additional 29 citations. These are not amazing cite numbers but they're pretty good; enough, I think, to establish notability. —[[User:David Eppstein|David Eppstein]] 07:10, 13 June 2007 (UTC)

**'''Comment''' Is there any reason to believe that these are ALF-related citations? The term 'ALF' doesn't appear in the titles of the papers, so the references to it could be passing. [[User:JJL|JJL]] 13:23, 13 June 2007 (UTC)

***You mean the two I singled out? Yes, there is a reason, but you have to take the effort to actually look at the papers and not just the titles. Many of the results on the ALF search just include it in lists of logic languages (that's what I meant about trivial mentions) but these two articles are about how certain logic programming issues can be handled in ALF specifically. —[[User:David Eppstein|David Eppstein]] 15:50, 13 June 2007 (UTC)

*<small>'''Note''': This debate has been included in the [[Wikipedia:WikiProject Deletion sorting/Science|list of Science-related deletions]]. </small> <small>-- [[User:Jayvdb|John Vandenberg]] 10:18, 13 June 2007 (UTC)</small>