• Computer Science
  • Published in ICLP 1991

Specifications as Search Keys for Software Libraries

@inproceedings{Rollins1991SpecificationsAS,
  title={Specifications as Search Keys for Software Libraries},
  author={Eugene J. Rollins and Jeannette M. Wing},
  booktitle={ICLP},
  year={1991}
}
Searching through a large repository of objects can be a tedious activity if a user cannot easily identify the object of interest. If the object is a file stored in a campus-wide distributed file system, the user might need to know some part of its name, e.g., a partial pathname, and possibly its location, e.g., the host name of the file server. If the object is a database record, the user might need to know the record’s attribute names in order to formulate a query based on the attributes… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 65 CITATIONS

A computational view of implicit coercions in type theory

  • Mathematical Structures in Computer Science
  • 2005
VIEW 2 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Specification matching of state-based modular components

  • Tenth Asia-Pacific Software Engineering Conference, 2003.
  • 2003
VIEW 5 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Komponentensuche mit Begriffen

Zwei Begriffe
    VIEW 14 EXCERPTS
    CITES BACKGROUND
    HIGHLY INFLUENCED

    Code Search Based on Alteration Intent

    • IEEE Access
    • 2019
    VIEW 1 EXCERPT
    CITES METHODS

    GUIFetch: Supporting App Design and Development through GUI Search

    • 2018 IEEE/ACM 5th International Conference on Mobile Software Engineering and Systems (MOBILESoft)
    • 2018

    FILTER CITATIONS BY YEAR

    1992
    2019

    CITATION STATISTICS

    • 4 Highly Influenced Citations

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 20 REFERENCES

    Using Types as Search Keys in Function Libraries

    • J. Funct. Program.
    • 1991
    VIEW 6 EXCERPTS
    HIGHLY INFLUENTIAL

    Higher-Order Logic Programming

    Dale A. Miller, Gopalan Nadathur
    • ICLP
    • 1986
    VIEW 7 EXCERPTS
    HIGHLY INFLUENTIAL

    The Ada® Generic Library

    • Springer Compass International
    • 1989
    VIEW 1 EXCERPT

    The Specification of Computer Programs

    W. M. Turski, T.S.E. Maibaum
    • Addison-Wesley
    • 1987
    VIEW 1 EXCERPT

    Eqlog: Equality

    J. A. Goguen, J. Meseguer
    • types, and generic modules for logic programming. In D. DeGroot and G. Lindstrom, editors, Functional and Logic Programming, pages 179–210. Prentice- Hall
    • 1986
    VIEW 2 EXCERPTS