Signature Matching: A Tool for Using Software Libraries

ACM Transactions on Software Engineering and Methodology (TOSEM)

Volumn 4, Issue 2, 1995, Pages 146-170

  Zaremski, Amy Moormann ^a   Wing, Jeannette M ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

signature matching; software retrieval

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; DATABASE SYSTEMS; FILE ORGANIZATION; INTERFACES (COMPUTER); LIBRARIES;

SIGNATURE MATCHING; SOFTWARE LIBRARIES;

SOFTWARE ENGINEERING;

EID: 0029280449     PISSN: 1049331X     EISSN: 15577392     Source Type: Journal    
DOI: 10.1145/210134.210179     Document Type: Article

References (38)

1. AGRESTI, W. W. AND MCGARRY, F. E. 1987. The Minnowbrook workshop on software reuse: A summary report. In Tutorial: Software Reuse: Emerging Technology, W. Tracz, Ed. IEEE Computer Society Press, Los Alamitos, Calif.
2. ARNOLD, S. P. AND STEPOWAY, S. L. 1987. The REUSE system: Cataloguing and retrieval of reusable software. In Tutorial: Software Reuse: Emerging Technology, W. Tracz, Ed IEEE Computer Society Press, Los Alamitos, Calif.
3. ATT. 1993 The Standard ML of New Jersey library reference manual. Tech. Rep., AT & T Bell Laboratories, Murray Hill, N.J.
4. BERRY, D. 1991. The Edinburgh SML Library Tech Rep ECS-LFCS-91-148, Univ of Edinburgh, U.K. April.
5. BIGGERSTAFF, T J. AND PERDIS, A. J., Eds. 1989. Software Reusability, Vol. 1. Concepts and Models. ACM Press, New York.
6. BISCHOFBERGER, W. R. 1992 Sniff-a pragmatic approach to a C ++ programming environment. In USENIX C ++ Conference. USENIX Assoc., Berkeley, Calif., 67-81.
7. CONSENS, M., MENDELZON, A., AND RYMAN, A. 1992 Visualizing and querying software structures. In Proceedings of the 14th International Conference on Software Engineering. IEEE Computer Society Press, Los Alamitos, Calif., 138-156.
8. DI COSMO, R. 1992 Type isomorphisms in a type-assignment framework. In the 19th Annual Symposium on Principles of Programming Languages. ACM, New York, 200-210.
9. FIELD, A. J. AND HARRISON, P. G. 1988. Functional Programming. Addison-Wesley, Reading, Mass.
10. FISCHER, B, KIEVERNAGEL, M., AND STRUCKMANN, W. 1994. VCR: A VDM-based software component retrieval tool. Tech. Rep. 94-08, Technical Univ. of Braunschweig, Germany Nov.
11. FONTANA, M. AND NEATH, M. 1991. Checked out and long overdue: Experiences in the design of a C ++ class library. In USENIX C++ Conference. USENIX Assoc., Berkeley, Calif., 179-191.
12. GARLAND, S. J. AND GUTTAG, J. V. 1991. A guide to LP, the Larch Prover. Rep. 82, DEC Systems Research Center, Palo Alto, Calif. Dec.
13. GUTTAG, J. AND HORNING, J. 1993. Larch: Languages and Tools for Formal Specification. Springer-Verlag, New York.
14. HELM, R. AND MAAREK, Y. S. 1991. Integrating information retrieval and domain specific approaches for browsing and retrieval in object-oriented class libraries. In OOPSLA Conference Proceedings. ACM, New York, 47-61.
15. JENG, J. J. AND CHENG, B. H. C. 1992. Formal methods applied to reuse. In Proceedings of the 5th Workshop on Software Reuse.
16. KATZ, S., RICHTER, C. A., AND THE, K.-S. 1987. A system for reusing partially interpreted schemas. In Proceedings of the 9th International Conference on Software Engineering IEEE Computer Society Press, Los Alamitos, Calif., 377-385.
17. MAAREK, Y. S., BERRY, D. M., AND KAISER, G. E. 1991. An information retrieval approach for automatically constructing software libraries. IEEE Trans. Softw. Eng. 8, 17 (Aug.), 800-813.
18. MILI, A., MILI, R., AND MITTERMEIR, R. 1994. Storing and retrieving software components: A refinement-based approach. In Proceedings of the 16th International Conference on Software Engineering. IEEE Computer Society Press, Los Alamitos, Calif.
19. MILNER, R. 1978. A theory of type polymorphism in programming J. Comput. Syst. Sci. 17, 3 (Dec.), 348-375.
20. MILNER, R., TOFTE, M., AND HARPER, R. 1990. The Definition of Standard ML. MIT Press, Cambridge, Mass.
21. OSTERTAG, E., HENDLER, J., PRIETO-DÍAZ, R., AND BRAUN, C. 1992. Computing similarity in a reuse library system: An AI-based approach. ACM Trans. Softw. Eng. Meth. 1, 3 (July), 205-228.
22. PAUL, S. AND PRAKASH, A. 1994. A framework for source code search using program patterns. IEEE Trans. Softw. Eng. 20, 6 (June), 463-475.
23. PERRY, D. E. 1989. The Inscape environment. In Proceedings of the 11th International Conference on Software Engineering. IEEE Computer Society Press, Los Alamitos, Calif., 2-12.
24. PRIETO-DÍAZ, R. 1989. Classification of reusable modules. In Software Reusability. Vol 1, Concepts and Models, T. J. Biggerstaff and A. J. Perlis, Eds. ACM Press, New York, 99-123.
25. RAMAMOORTHY, C. V., Ed. 1984. IEEE Trans. Softw. Eng. SE-10, 5 (Sept.).
26. RITTRI, M. 1989. Using types as search keys in function libraries. In the Conference on Functional Programming Languages and Computer Architectures. Addison-Wesley, Reading. Mass., 174-183.
27. RITTRI, M. 1992. Retrieving library identifiers via equational matching of types. Tech. Rep. 65, Programming Methodology Group, Dept. of Computer Sciences, Chalmers Univ. of Technology and Univ. of Göteborg. (Reprinted with corrections May 1992).
28. ROLLINS, E. J. AND WING, J. M. 1991. Specifications as search keys for software libraries. In Proceedings of the 8th International Conference on Logic Programming. MIT Press, Cambridge, Mass.
29. RUNCIMAN, C. AND TOYN, I. 1989. Retrieving re-usable software components by polymorphic type. In the Conference on Functional Programming Languages and Computer Architectures. Addison-Wesley, Reading, Mass., 166-173.
30. STRINGER-CALVERT, D. W. J. 1994. Signature matching for Ada software reuse. Master's thesis, Univ. of York, York, England.
31. SNELTING, G., GROSCH, F.-J., AND SCHROEDER, U. 1991. Inference-based support for programming in the large. In the 3rd European Software Engineering Conference, A. van Lamsweerde and A. Fugetta, Eds. Lecture Notes in Computer Science, vol. 550. Springer-Verlag, New York, 396-408.
32. STALLMAN, R. 1986. GNU Emacs Manual. Free Software Foundation, Cambridge, Mass.
33. STEELE, G. L., JR. 1984. Common Lisp, The Language. Digital Press, Maynard, Mass.
34. TESTER, L. 1981. The Smalltalk environment. BYTE 6, 8 (Aug.), 90-147.
35. TARDITI, D. AND ROLLINS, G. 1993. Local guide to Standard ML. Tech. Rep., CMU, Pittsburgh, Pa. March.
36. WING, J. M, ROLLINS, E., AND ZAREMSKI, A. M. 1993. Thoughts on a Larch/ML and a new application for LP. In the 1st International Workshop on Larch, U. Martin and J. M. Wing, Eds. Springer-Verlag, New York.
37. YELLIN, D. M. AND STROM, R. E. 1994. Interfaces, protocols and the semi-automatic construction of software adaptors. In OOPSLA Conference Proceedings SIGPLAN Not. 29, 10 (Oct.), 176-190.
38. ZAREMSKI, A. M. AND WING, J. M. 1995. Specification matching of software components. In Proceedings of SIGSOFT '95: 3rd ACM SIGSOFT Symposium on the Foundations of Software Engineering. ACM, New York. To be published.