Abstract

We describe AlgoVista , a web-based search engine designed to allow applied computer scientists to classify problems and find algorithms and implementations that solve these problems. Unlike other search engines, AlgoVista is not keyword based. Rather, users provide a set of input==>output samples that describe the behavior of the problem they wish to classify. This type of query-by-example requires no knowledge of specialized terminology, only an ability to formalize the problem. The search mechanism of AlgoVista is based on a novel application of program checking, a technique developed as an alternative to program verification and testing.

	HTML
	Gzipped Postscript
Article	A4	LETTER	(216k)
	Postscript
Article	A4	LETTER	(888k)
	PDF
Article	A4	LETTER	(888k)
	Gifs
Article	[p1] [p2] [p3] [p4] [p5] [p6] [p7]		(7*20k)
	[p8] [p9] [p10] [p11] [p12] [p13] [p14]		(7*20k)
	Tar'ed Gifs
Article	A4.tar		(328k)
	ASCII Text
The BibTeX entry	BibTeX.bib		(2k)
The Abstract	Abstract.txt		(2k)

Back to Collberg's Research Page
Back to Collberg's Home Page