diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Cleaned up bibitems.

Browse Source 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1810 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
kostis 2007-03-07 16:11:52 +00:00
parent 6168ffb1cf
commit e57d717602
1 changed files with 221 additions and 119 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

340
docs/index/lp.bib
View File

@ -192,142 +192,233 @@
@string{OSDI-2 = {Proc. of the 2nd Symp. on Operating Systems Design and Implementation (OSDI'96)}} @string{OSDI-2 = {Proc. of the 2nd Symp. on Operating Systems Design and Implementation (OSDI'96)}}
@string{ICLP03 = "Proceedings of the Nineteenth International Conference on Logic Programming"} @string{ICLP03 = "Proceedings of the Nineteenth International Conference on Logic Programming"}
@techreport{xsb-manual, @Manual{XSB,
AUTHOR = "Konstantinos F. Sagonas and Terrance Swift and David S. Warren and Juliana Freire and P. Rao", author = "Konstantinos F. Sagonas and Terrance Swift and David S. Warren
TITLE = "The {XSB} Pro\-grammer's Manual", and Juliana Freire and Prasad Rao",
INSTITUTION = "State University of New York at Stony Brook", title = "The {XSB} Pro\-grammer's Manual",
NOTE = "Available at http://xsb.sourceforge.net/", organization = "State University of New York at Stony Brook",
YEAR = 1997 } year = 1997,
url = "http://xsb.sourceforge.net/"
@Phdthesis{BIM,
AUTHOR = "Mari{\"e}n, Andr\'e",
TITLE = "{Improving the Compilation of Prolog in the Framework of the Warren Abstract Machine}",
School = "Katholiek Universiteit Leuven",
Month = "September",
Year = "1993"
} }
@Inproceedings{ZhTaUs-small, @InProceedings{UnifFact@POPL-95,
Author = "Zhou, Neng-Fa and Takagi, Toshihisa and Kazuo, Ushijima", author = "Steven Dawson and C. R. Ramakrishnan and I. V. Ramakrishnan and
Title = "A {Matching} {Tree} {Oriented} {Abstract} {Machine} for {Prolog}", Konstantinos Sagonas and Steven Skiena and Terrance Swift and
Booktitle = "ICLP90", David S. Warren",
Year = "1990", title = "Unification Factoring for the Efficient Execution of
Pages = "158--173" } Logic Programs",
pages = "247--258",
booktitle = "Conference Record of {POPL'95: 22nd ACM SIGPLAN-SIGACT}
Symposium on Principles of Programming Languages",
month = jan,
year = 1995,
publisher = "ACM Press"
}
@manual{SWI, @Article{Tries@JLP-99,
author = "J. Wielemaker", author = "I. V. Ramakrishnan and Prasad Rao and Konstantinos Sagonas
title = "{SWI-Prolog 5.1}: Reference Manual", and Terrance Swift and David S. Warren",
organization = "{SWI}, University of Amsterdam", title = "Efficient Access Mechanisms for Tabled Logic Programs",
address = "Roetersstraat 15, 1018 WB Amsterdam, The Netherlands", journal = JLP,
year = "1997-2003", volume = {38},
url = "http://www.swi-prolog.org" number = {1},
} pages = {31--54},
month = jan,
year = 1999
}
@Techreport{Warren83, @Inproceedings{VRDW87,
Author = "Warren, David H. D.", author = "{Van Roy}, Peter and Demoen, Bart and Willems, Yves D.",
Title = "{An Abstract Prolog Instruction Set}", title = "Improving the Execution Speed of Compiled {Prolog}
Institution = "SRI International", with Modes, Clause Selection and Determinism",
Year = "1983", pages = "111--125",
Type = "Technical Note", booktitle = "TAPSOFT'87",
Number = "309" } year = 1987,
publisher = SV
}
@InProceedings{IndexingProlog@NACLP-89,
author = "Bart Demoen and Andr\'e Mari{\"e}n and Alain Callebaut",
title = "Indexing in {P}rolog",
pages = {1001--1012},
booktitle = {Proceedings of the North American Conference on
Logic Programming},
editor = {Ewing L. Lusk and Ross A. Overbeek},
year = 1989,
publisher = {MIT Press}
}
@Phdthesis{BIM,
author = "Mari{\"e}n, Andr\'e",
title = "Improving the Compilation of {P}rolog in the Framework
of the {W}arren {A}bstract {M}achine",
school = "Katholieke Universiteit Leuven",
month = sep,
year = "1993"
}
@InProceedings{TOAM@ICLP-90,
author = "Zhou, Neng-Fa and Takagi, Toshihisa and Kazuo, Ushijima",
title = "A Matching Tree Oriented Abstract Machine for {P}rolog",
pages = "158--173",
booktitle = "ICLP90",
editor = "Warren, David H. D. and Szeredi, P\'eter",
year = 1990,
publisher = "MIT Press"
}
@Article{TOAM@JLP-93,
author = "Neng-Fa Zhou",
title = "Global Optimizations in a {P}rolog Compiler for the {TOAM}",
journal = JLP,
volume = 15,
number = 4,
pages = "275--294",
month = apr,
year = 1993
}
@Manual{SWI,
author = "Jan Wielemaker",
title = "{SWI-Prolog 5.1}: Reference Manual",
organization = "{SWI}, University of Amsterdam",
address = "Roetersstraat 15, 1018 WB Amsterdam, The Netherlands",
year = "1997--2003",
url = "http://www.swi-prolog.org"
}
@Manual{YAP,
author = "Santos Costa, V\'{\i}tor and Damas, Luis and Reis, Rog\'erio and
Azevedo, R\'uben",
title = "{YAP} User's Manual",
year = 2002,
url = "\def\HTML{\XURL}{http://www.ncc.up.pt/\~{}vsc/Yap}"
}
@TechReport{Warren83,
author = "Warren, David H. D.",
title = "An Abstract {P}rolog Instruction Set",
institution = "SRI International",
year = "1983",
type = "Technical Note",
number = "309"
}
@Article{Chen-96, @Article{Chen-96,
author = {W. Chen and D. S. Warren}, author = {W. Chen and D. S. Warren},
title = {{Tabled Evaluation with Delaying for General Logic Programs}}, title = "Tabled Evaluation with Delaying for General Logic Programs",
journal = {Journal of the ACM}, journal = JACM,
year = {1996}, volume = {43},
volume = {43}, number = {1},
number = {1}, pages = {20--74},
pages = {20--74}, month = jan,
month = {January}, year = {1996}
} }
@PhdThesis{anderson-phd, @PhdThesis{anderson-phd,
author = {L. O. Anderson}, author = "L. O. Anderson",
title = {Program Analysis and Specialization for the title = "Program Analysis and Specialization for the {C}
C Programming Language}, Programming Language",
school = {DIKU, Unversity of school = "DIKU, University of Copenhagen",
Copenhagen}, year = 1994,
year = 1994, address = "Copenhagen"
address = {Copenhagen}
} }
@TechReport{Warren77b, @TechReport{Warren77b,
Author ="David H. D. Warren", author = "David H. D. Warren",
Title ={{Implementing Prolog - Compiling Predicate Logic Programs}}, title = "Implementing {P}rolog --- {C}ompiling Predicate Logic Programs",
Year ={1977}, year = 1977,
Number ={39 and 40}, number = "39 and 40",
Institution ={Department of Artificial Intelligence, University of Edinburgh} institution = "Department of Artificial Intelligence, University of Edinburgh"
} }
@Inproceedings{Carls88, @InProceedings{FreezeIndexing@ICLP-87,
AUTHOR = "Carlsson, Mats", author = "Mats Carlsson",
TITLE = "On the Efficiency of Optimised Shallow Backtracking in title = "Freeze, Indexing, and Other Implementation Issues in the {WAM}",
{Compiled} {Prolog}", pages = "40--58",
BOOKTITLE = ICLP89, booktitle = ICLP87,
PUBLISHER = "MIT Press", month = may,
MONTH = "June", year = 1987,
PAGES = "3--15", editor = "Jean-Louis Lassez",
YEAR = "1989" publisher = "MIT Press"
}
@InProceedings{ShallowBacktracking@ICLP-89,
author = "Mats Carlsson",
title = "On the Efficiency of Optimising Shallow Backtracking in
Compiled {Prolog}",
pages = "3--15",
booktitle = ICLP89,
month = jun,
year = 1989,
publisher = "MIT Press"
}
@ARTICLE{HickeyMudambi@JLP-89,
author = "Hickey, Timothy and Mudambi, Shyam",
title = "Global Compilation of {P}rolog",
journal = JLP,
volume = 7,
number = 3,
pages = "193--230",
month = nov,
year = 1989
} }
@Article{VanRoy94, @Article{VanRoy94,
Author ="{Van Roy}, Peter", author = "{Van Roy}, Peter",
Title ="{1983-1993: The Wonder Years of Sequential Prolog Implementation}", title = "1983-1993:
Journal =JLP, The Wonder Years of Sequential {P}rolog Implementation",
Publisher = "North-Holland", journal = JLP,
Volume ={19/20}, publisher = "North-Holland",
page ={385--441}, volume = "19/20",
Month ={May/July}, page = {385--441},
Year ={1994} month = {May/July},
year = {1994}
} }
@Inproceedings{KS88, @InProceedings{KligerShapiro@ICLP-88,
AUTHOR = "Kliger, Shmuel and Shapiro, Ehud", author = "Kliger, Shmuel and Shapiro, Ehud",
TITLE = "A {D}ecision {T}ree {C}ompilation {A}lgorithm for {FCP($|$,:,?)}", title = "A Decision Tree Compilation Algorithm for {FCP($|$,:,?)}",
MONTH = "August", booktitle = ICLP88,
YEAR = "1988", pages = "1315--1336",
BOOKTITLE = ICLP88, month = aug,
PUBLISHER = "MIT Press", year = 1988,
PAGES = "1315--1336" publisher = "MIT Press"
} }
@Article{Som96, @Article{Mercury@JLP-96,
Author ="Zoltan Somogyi and Fergus Henderson and Thomas Conway", author = "Zoltan Somogyi and Fergus Henderson and Thomas Conway",
Title ="{The execution algorithm of mercury, an efficient purely declarative logic programming language}", title = "The execution algorithm of {Mercury}, an efficient
Journal =JLP, purely declarative logic programming language",
Publisher = "North-Holland", pages = "17--64",
Volume ={1-3}, journal = JLP,
page ={65--83}, volume = "26",
Month ={October}, number = "1--3",
Year ={1996} month = oct # "/" # dec,
year = 1996
} }
@inproceedings{ciao-global, @Article{Ciao@SCP-05,
author = {Manuel V. Hermenegildo and German Puebla and Francisco Bueno and and P. L\'opez}, author = {Manuel V. Hermenegildo and
title = {Program Development Using Abstract Interpretation (and The Ciao System Preprocessor)}, Germ{\'a}n Puebla and
booktitle = {Proceedings of the 10th.\ International Symposium on Static Analysis (SAS'03)}, Francisco Bueno and
pages = {127--152}, Pedro L{\'o}pez-Garc\'{\i}a},
year = 2003, title = {Integrated program debugging, verification, and optimization
month = {June}, using abstract interpretation
publisher = {Springer-Verlag}, (and the {Ciao} system preprocessor).},
series = {LNCS} journal = SCP,
} volume = {58},
number = {1--2},
@inproceedings{ciao-global-small, year = 2005,
author = {Manuel V. Hermenegildo and German Puebla and Francisco Bueno and and P. L\'opez}, pages = "115--140"
title = {Program Development Using Abstract Interpretation (and The Ciao System Preprocessor)}, }
booktitle = {SAS'03},
pages = {127--152},
year = 2003,
month = {June}
}
@inproceedings{DBLP:conf/iclp/Demoen02, @inproceedings{DBLP:conf/iclp/Demoen02,
author = {Bart Demoen}, author = {Bart Demoen},
title = {A Different Look at Garbage Collection for the WAM.}, title = {A Different Look at Garbage Collection for the WAM.},
year = {2002}, year = {2002},
pages = {179-193}, pages = {179--193},
ee = {http://link.springer.de/link/service/series/0558/bibs/2401/24010179.htm}, ee = {http://link.springer.de/link/service/series/0558/bibs/2401/24010179.htm},
editor = {Peter J. Stuckey}, editor = {Peter J. Stuckey},
booktitle = {Logic Programming, 18th International Conference, ICLP 2002, booktitle = {Logic Programming, 18th International Conference, ICLP 2002,
@ -339,7 +430,20 @@ Year ={1996}
bibsource = {DBLP, http://dblp.uni-trier.de} bibsource = {DBLP, http://dblp.uni-trier.de}
} }
@article{DBLP:journals/cacm/Codd70, @InProceedings{Carcinogenesis@ILP-97,
author = "Srinivasan, A. and King, R.D. and Muggleton, S. and
Sternberg, M.J.E.",
title = "Carcinogenesis Predictions Using {ILP}",
booktitle = ILP97,
series = LNAI,
volume = 1297,
editor = "D\v{z}eroski, S. and Lavra\v{c}, N.",
publisher = SV,
pages = "273-287",
year = 1997
}
@Article{DBLP:journals/cacm/Codd70,
author = {E. F. Codd}, author = {E. F. Codd},
title = {A Relational Model of Data for Large Shared Data Banks.}, title = {A Relational Model of Data for Large Shared Data Banks.},
journal = {Commun. ACM}, journal = {Commun. ACM},
@ -351,10 +455,9 @@ Year ={1996}
bibsource = {DBLP, http://dblp.uni-trier.de} bibsource = {DBLP, http://dblp.uni-trier.de}
} }
@article{DBLP:journals/siamcomp/KilpelainenM95, @Article{DBLP:journals/siamcomp/KilpelainenM95,
author = {Pekka Kilpel{\"a}inen and author = {Pekka Kilpel{\"a}inen and Heikki Mannila},
Heikki Mannila}, title = {Ordered and Unordered Tree Inclusion},
title = {Ordered and Unordered Tree Inclusion.},
journal = {SIAM J. Comput.}, journal = {SIAM J. Comput.},
volume = {24}, volume = {24},
number = {2}, number = {2},
@ -363,16 +466,16 @@ Year ={1996}
bibsource = {DBLP, http://dblp.uni-trier.de} bibsource = {DBLP, http://dblp.uni-trier.de}
} }
@inproceedings{DBLP:conf/popl/FisherMW06, @InProceedings{DBLP:conf/popl/FisherMW06,
author = {Kathleen Fisher and author = {Kathleen Fisher and
Yitzhak Mandelbaum and Yitzhak Mandelbaum and
David Walker}, David Walker},
title = {The next 700 data description languages.}, title = {The next 700 data description languages},
year = {2006}, year = {2006},
pages = {2-15}, pages = {2-15},
editor = {J. Gregory Morrisett and editor = {J. Gregory Morrisett and
Simon L. Peyton Jones}, Simon L. Peyton Jones},
booktitle = {Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on booktitle = {Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on
Principles of Programming Languages, POPL 2006, Charleston, Principles of Programming Languages, POPL 2006, Charleston,
South Carolina, USA, January 11-13, 2006}, South Carolina, USA, January 11-13, 2006},
publisher = {ACM}, publisher = {ACM},
@ -423,9 +526,8 @@ Year ={1996}
booktitle = {WebDB}, booktitle = {WebDB},
year = {2004}, year = {2004},
pages = {43-48}, pages = {43-48},
editor = {Sihem Amer-Yahia and editor = {Sihem Amer-Yahia and Luis Gravano},
Luis Gravano}, booktitle = {Proceedings of the Seventh International Workshop on the
booktitle = {Proceedings of the Seventh International Workshop on the
Web and Databases, WebDB 2004, June 17-18, 2004, Maison Web and Databases, WebDB 2004, June 17-18, 2004, Maison
de la Chimie, Paris, France, Colocated with ACM SIGMOD/PODS de la Chimie, Paris, France, Colocated with ACM SIGMOD/PODS
2004} 2004}