@inproceedings{906b7f90c2244040b9dc8f1a6f8818be,
title = "Algovista: An algorithmic search tool in an educational setting",
abstract = "AλgoVista is a web-based search engine that assists programmers to find algorithms and implementations that solve specific problems. The search engine is not keyword based but rather requires users to provide (input ⇒ output) samples that describe the behavior of their needed algorithm. The system is easy to use. To search for a particular algorithm or classify a combinatorial structure a user simply draws the query in a drawing pane on a web browser. The result of the search is a list of links to web resources describing or providing implementations of the algorithm. AλgoVista has many interesting applications in an educational setting. The search engine can help research students classify obscure problems and locate algorithms that would otherwise be hard to find in textbooks. Students can also add calls in their own programs to AλgoVista's database of executable problem specifications in order to dynamically check the correctness of their programs. Finally, instructors can use AλgoVista to set novel assignments in algorithms and data structures classes. This paper briefly describes AλgoVista and reports on its use in two algorithms and theory classes, one at the undergraduate and one at the graduate level.",
keywords = "Algorithms, Languages, Verification",
author = "Christian Collberg and Kobourov, {Stephen G.} and Suzanne Westbrook",
year = "2004",
language = "English (US)",
isbn = "1581137982",
series = "Proceedings of the SIGCSE Technical Symposium on Computer Science Education",
pages = "462--466",
booktitle = "Proceedings of the Thirty-Fifth SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2004",
note = "Proceedings of the Thirty-Fifth SIGCSE Technical Symposium on Computer Science Education ; Conference date: 03-03-2004 Through 07-03-2004",
}