10. Summary

A$\lambda$goVista provides a unique resource to computer scientists to enable them to discover descriptions and implementations of algorithms without knowing theoretical nomenclature. A$\lambda$goVista is a web-based search engine that accepts input $\Rightarrow$output pairs as input and finds algorithms that match that behavior. This Query-By-Example mechanism relieves users of the burden of knowing terminology outside their domain of expertise. A$\lambda$goVista is extensible--algorithm designers may upload their algorithms into A$\lambda$goVista's database in the form of checklets that recognize acceptable input/output behavior.

 

A$\lambda$goVista is operational at http://AlgoVista.cs.arizona.edu/. Figure 13 shows a snapshot of this web page.

Acknowledgments: Will Evans pointed out the relationship between checklets and program checking. Dengfeng Gao implemented most of the checklets in the current database. We thank them both.