Index of /cti/bench

Name	Last modified	Size

Parent Directory		-
apt/	01-Oct-2000 23:01	-
apt_flptp/	27-May-2000 18:01	-
bol_thesis/	06-Mar-2001 10:23	-
dds/	30-May-2000 02:37	-
dppd/	25-Sep-2000 02:01	-
maria/	03-Jul-1999 04:33	-
nguyen/	20-Apr-2006 16:21	-
plumer/	02-Jul-2007 20:10	-
q/	17-Feb-2004 12:59	-
shen/	27-Feb-2001 15:11	-
talp/	01-Jun-2001 17:55	-
terminweb/	24-May-2001 05:10	-
ttr/	15-Apr-2012 17:14	-
various/	01-Oct-2000 23:01	-
www/	10-Feb-2004 00:08	-

Benchmark collection compiled by Naomi Lindenstrauss:

plumer: L. Plümer, Termination Proofs for Logic Programs, Springer Verlag, LNAI 446, 1990.
dds: D. De Schreye and S. Decorte, Termination of Logic Programs: the Never-Ending Story, J. Logic Programming, 19/20:199-260, 1994.
apt: K. R. Apt and D. Pedreschi, Modular Termination Proofs for Logic and Pure Prolog Programs, in 'Advances in Logic Programming Theory', 183-229, Oxford University Press, 1994.
maria: F. Bueno, M. Garcia de la Banda and M. Hermenegildo, Effectiveness of Global Analysis in Strict Independence-Based Automatic Program Parallelization, International Symposium on Logic Programming, 320-336, MIT Press, 1994. See also http://www.clip.dia.fi.upm.es/
various: N. Lindenstrauss

apt_flptp: Some programs of K. R. Apt, From Logic Programming to Prolog, Prentice-Hall, 1997.
bol_thesis: Roland N. Bol, Loop Checking in Logic Programming. Thesis, 1991.
dppd: DPPD library maintained by Michael Leuschel contains programs that are also of interest to termination inference.
nguyen: Manh Thang Nguyen's collection for Polytool
shen: Shen, Y. D., Yuan, L. Y. and You, J. H., Loop Checks for Logic Programs with Functions. Theoretical Computer Science, to appear, (2000). This collection contains mostly looping programs. It is therefore of particular insterest for cTI's loop-detection used in the NTI component.
talp: excerpts of the example collection of TALP.
terminweb: examples from TerminWeb collected by Michael Codish
www: programs from the net and other programs