Algovista

An algorithmic search tool in an educational setting

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)

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.

Original languageEnglish (US)
Title of host publicationProceedings of the SIGCSE Technical Symposium on Computer Science Education
Pages462-466
Number of pages5
StatePublished - 2004
EventProceedings of the Thirty-Fifth SIGCSE Technical Symposium on Computer Science Education - Norfolk, VA, United States
Duration: Mar 3 2004Mar 7 2004

Other

OtherProceedings of the Thirty-Fifth SIGCSE Technical Symposium on Computer Science Education
CountryUnited States
CityNorfolk, VA
Period3/3/043/7/04

Fingerprint

Search engines
Students
Web browsers
Textbooks
World Wide Web
Data structures
Specifications

Keywords

  • Algorithms
  • Languages
  • Verification

ASJC Scopus subject areas

  • Engineering(all)

Cite this

Collberg, C. S., Kobourov, S. G., & Westbrook, D. S. (2004). Algovista: An algorithmic search tool in an educational setting. In Proceedings of the SIGCSE Technical Symposium on Computer Science Education (pp. 462-466)

Algovista : An algorithmic search tool in an educational setting. / Collberg, Christian S; Kobourov, Stephen G; Westbrook, Denise S.

Proceedings of the SIGCSE Technical Symposium on Computer Science Education. 2004. p. 462-466.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Collberg, CS, Kobourov, SG & Westbrook, DS 2004, Algovista: An algorithmic search tool in an educational setting. in Proceedings of the SIGCSE Technical Symposium on Computer Science Education. pp. 462-466, Proceedings of the Thirty-Fifth SIGCSE Technical Symposium on Computer Science Education, Norfolk, VA, United States, 3/3/04.
Collberg CS, Kobourov SG, Westbrook DS. Algovista: An algorithmic search tool in an educational setting. In Proceedings of the SIGCSE Technical Symposium on Computer Science Education. 2004. p. 462-466
Collberg, Christian S ; Kobourov, Stephen G ; Westbrook, Denise S. / Algovista : An algorithmic search tool in an educational setting. Proceedings of the SIGCSE Technical Symposium on Computer Science Education. 2004. pp. 462-466
@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 = "Collberg, {Christian S} and Kobourov, {Stephen G} and Westbrook, {Denise S}",
year = "2004",
language = "English (US)",
isbn = "1581137982",
pages = "462--466",
booktitle = "Proceedings of the SIGCSE Technical Symposium on Computer Science Education",

}

TY - GEN

T1 - Algovista

T2 - An algorithmic search tool in an educational setting

AU - Collberg, Christian S

AU - Kobourov, Stephen G

AU - Westbrook, Denise S

PY - 2004

Y1 - 2004

N2 - 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.

AB - 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.

KW - Algorithms

KW - Languages

KW - Verification

UR - http://www.scopus.com/inward/record.url?scp=2642582594&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=2642582594&partnerID=8YFLogxK

M3 - Conference contribution

SN - 1581137982

SN - 9781581137989

SP - 462

EP - 466

BT - Proceedings of the SIGCSE Technical Symposium on Computer Science Education

ER -