Abstract
AλgoVista is a web-based search engine that assists programmers to find algorithms and implementations that solve specific problems. AλgoVista is not keyword based but rather requires users to provide — in a very simple textual language — input⇒output samples that describe the behavior of their needed algorithm. Unfortunately, even this simple language has proven too challenging for casual users.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Manuel Blum. Program checking. In Somenath Biswas and Kesav V. Nori, editors, Proceedings of Foundations of Software Technology and Theoretical Computer Science, volume 560 of LNCS, pages 1–9, Berlin, Germany, December 1991. Springer.
Fabrizio Capobianco, Mauro Mosconi, and Lorenzo Pagnin. Progressive http-based querying of remote databases within the Marmotta iconic VQS. In VL’95, 1995.
Christian Collberg and Clark Thomborson. Software watermarking: Models and dynamic embeddings. In POPL’99, San Antonio, TX, January 1999. http://www.cs.arizona.edu/collberg/Research/Publications/CollbergThomborson99a
Christian S. Collberg and Todd A. Proebsting. AλgoVista — A search engine for computer scientists. Technical Report 2000-01, 2000. http://www.cs.arizona.edu/collberg/Research/Publications/CollbergProebsting2000a.
Sampath Kannan and Todd A. Proebsting. Register allocation in structured programs. Journal of Algorithms, 29(2):223–237, November 1998.
Hui Liu. A visualin terface for querying a CASE repository. In VL’95, 1995.
J. Rekers and A. Schür. A graph grammar approach to graphicalparsing. In VL’95, 1995.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Collberg, C.S. (2002). A Fuzzy Visual Query Language for a Domain-Specific Web Search Engine. In: Hegarty, M., Meyer, B., Narayanan, N.H. (eds) Diagrammatic Representation and Inference. Diagrams 2002. Lecture Notes in Computer Science(), vol 2317. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46037-3_20
Download citation
DOI: https://doi.org/10.1007/3-540-46037-3_20
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43561-7
Online ISBN: 978-3-540-46037-4
eBook Packages: Springer Book Archive