AgoVista - A Search Engine for Computer Scientists (2000)
| Citations: | 2 - 2 self |
BibTeX
@MISC{Collberg00agovista-,
author = {Christian S. Collberg and Christian S. Collberg and Todd A. Proebsting and Todd A. Proebsting},
title = {AgoVista - A Search Engine for Computer Scientists},
year = {2000}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We describe AgoVista, 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, AgoVista 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 AgoVista is based on a novel application of program checking, a technique developed as an alternative to program verification and testing. 1 Background Frequently, working software developers will encounter a problem with which they are unfamiliar, but which -- they suspect -- has probably been treated by the Computer Science theory community. Just as frequently, theoretical computer scientists will be working on a problem which they suspect might have a practical application. Unfortunat...
