Problem identification using program checking

Research output: Contribution to journalArticle

Abstract

We describe A λgoVista, a web-based search engine that assists computer scientists find algorithms and implementations that solve specific problems. AλgoVista also allows algorithm designers to advertise their results in a forum accessible to programmers and theoreticians alike. AλgoVista is not keyword based. Rather, users provide inputs⇒output samples that describe the behavior of their needed algorithm. This query-by-example requires no knowledge of specialized terminology - the user only needs an ability to formalize her problem. AλgoVista's search mechanism is based on a novel application of program checking, a technique developed as an alternative to program verification and testing. AλgoVista operates at http://www.algovista.com.

Original languageEnglish (US)
Pages (from-to)270-280
Number of pages11
JournalDiscrete Applied Mathematics
Volume144
Issue number3
DOIs
StatePublished - Dec 15 2004

Fingerprint

Identification Problem
Program Verification
Alike
Terminology
Search engines
Search Engine
World Wide Web
Web-based
Query
Testing
Alternatives

Keywords

  • Algorithm
  • Program checking
  • Search engine
  • Software repository
  • Type discrimination

ASJC Scopus subject areas

  • Computational Theory and Mathematics
  • Applied Mathematics
  • Discrete Mathematics and Combinatorics
  • Theoretical Computer Science

Cite this

Problem identification using program checking. / Collberg, Christian S; Proebsting, Todd A.

In: Discrete Applied Mathematics, Vol. 144, No. 3, 15.12.2004, p. 270-280.

Research output: Contribution to journalArticle

@article{a27e43b863a6431fbd1e772165e53b2f,
title = "Problem identification using program checking",
abstract = "We describe A λgoVista, a web-based search engine that assists computer scientists find algorithms and implementations that solve specific problems. AλgoVista also allows algorithm designers to advertise their results in a forum accessible to programmers and theoreticians alike. AλgoVista is not keyword based. Rather, users provide inputs⇒output samples that describe the behavior of their needed algorithm. This query-by-example requires no knowledge of specialized terminology - the user only needs an ability to formalize her problem. AλgoVista's search mechanism is based on a novel application of program checking, a technique developed as an alternative to program verification and testing. AλgoVista operates at http://www.algovista.com.",
keywords = "Algorithm, Program checking, Search engine, Software repository, Type discrimination",
author = "Collberg, {Christian S} and Proebsting, {Todd A}",
year = "2004",
month = "12",
day = "15",
doi = "10.1016/j.dam.2003.11.005",
language = "English (US)",
volume = "144",
pages = "270--280",
journal = "Discrete Applied Mathematics",
issn = "0166-218X",
publisher = "Elsevier",
number = "3",

}

TY - JOUR

T1 - Problem identification using program checking

AU - Collberg, Christian S

AU - Proebsting, Todd A

PY - 2004/12/15

Y1 - 2004/12/15

N2 - We describe A λgoVista, a web-based search engine that assists computer scientists find algorithms and implementations that solve specific problems. AλgoVista also allows algorithm designers to advertise their results in a forum accessible to programmers and theoreticians alike. AλgoVista is not keyword based. Rather, users provide inputs⇒output samples that describe the behavior of their needed algorithm. This query-by-example requires no knowledge of specialized terminology - the user only needs an ability to formalize her problem. AλgoVista's search mechanism is based on a novel application of program checking, a technique developed as an alternative to program verification and testing. AλgoVista operates at http://www.algovista.com.

AB - We describe A λgoVista, a web-based search engine that assists computer scientists find algorithms and implementations that solve specific problems. AλgoVista also allows algorithm designers to advertise their results in a forum accessible to programmers and theoreticians alike. AλgoVista is not keyword based. Rather, users provide inputs⇒output samples that describe the behavior of their needed algorithm. This query-by-example requires no knowledge of specialized terminology - the user only needs an ability to formalize her problem. AλgoVista's search mechanism is based on a novel application of program checking, a technique developed as an alternative to program verification and testing. AλgoVista operates at http://www.algovista.com.

KW - Algorithm

KW - Program checking

KW - Search engine

KW - Software repository

KW - Type discrimination

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

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

U2 - 10.1016/j.dam.2003.11.005

DO - 10.1016/j.dam.2003.11.005

M3 - Article

AN - SCOPUS:9644301046

VL - 144

SP - 270

EP - 280

JO - Discrete Applied Mathematics

JF - Discrete Applied Mathematics

SN - 0166-218X

IS - 3

ER -