Index of /cti/bench

Name	Last modified	Size

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

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