Fully automatic adaptation of software components based on semantic specifications

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2422, Issue , 2002, Pages 83-98

  Haack, Christian ^b   Howard, Brian ^a   Stoughton, Allen ^a   Wells, Joe B ^b  

^a KANSAS STATE UNIVERSITY   (United States)

^b HERIOT WATT UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS;

AUTOMATIC ADAPTATION; BEHAVIORAL SPECIFICATION; SEMANTIC SPECIFICATION; SOFTWARE COMPONENT; STANDARD ML;

SPECIFICATIONS;

EID: 84944074412     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45719-4_7     Document Type: Conference Paper

References (23)

1. M. V. Aponte, R.D. Cosmo. Type isomorphisms for module signatures. In 8th Int'l Symp. Prog. Lang.: Implem., Logics & Programs, PLILP '96, vol.1140 of LNCS. Springer-Verlag, 1996.
2. I. Cervesato, F. Pfenning. Linear higher-order pre-unification. In Proc. 12th Ann. IEEE Symp. Logic in Comput. Sci., 1997.
3. R. L. Constable, J. Hickey. Nuprl's class theory and its applications. Unpublished, 2000.
4. R. Di Cosmo. Isomorphisms of Types: From Lambda-Calculus to Information Retrieval and Language Design. Birk häuser, 1995.
5. R. Dyckhoff, L. Pinto. A permutation-free sequent calculus for intuitionistic logic. Technical Report CS/96/9, University of St Andrews, 1996.
6. B. Fischer, J. Schumann. NORA/HAMMR: Making deduction-based software component retrieval practical. In Proc. CADE-14 Workshop on Automated Theorem Proving in Software Engineering, 1997.
7. C. Haack. Foundations for a tool for the automatic adaptation of software components based on semantic specifications. PhD thesis, Kansas State University, 2001.
8. R. Harper, J. Mitchell. On the type structure of Standard ML. ACM Trans. on Prog. Lang. and Sys., 15(2), 1993.
9. D. Hemer, P. Lindsay. Specification-based retrieval strategies for module reuse. In Australian Software Engineering Conference. IEEE Computer Society Press, 2001.
10. H. Herbelin. A λ-calculus structure isomorphic to Gentzen-style sequent calculus structure. In Proc. Conf. Computer Science Logic, vol.933 of LNCS. Springer-Verlag, 1994.
11. G. Huet. A unification algorithm for typed λ-calculus. Theoret. Comput. Sci., 1(1), 1975.
12. S. Kahrs, D. Sannella, A. Tarlecki. The definition of Extended ML: A gentle introduction. Theoretical Computer Science, 173, 1997.
13. M. Lowry, A. Philpot, T. Pressburger, I. Underwood. Amphion: Automatic programming for scientific subroutine libraries. In Proc. 8th Intl. Symp. on Methodologies for Intelligent Systems, vol.869 of LNCS, Charlotte, 1994.
14. D. Miller. A logic programming language with lambda-abstraction, function variables and simple unification. Journal of Logic and Computation, 1(4), 1991.
15. R. Milner, M. Tofte, R. Harper, D. MacQueen. The Definition of Standard ML (Revised). MIT Press, 1997.
16. T. Nipkow. Higher-order unification, polymorphism and subsorts. In Proc. 2nd Int. Workshop Conditional & Typed Rewriting System, LNCS. Springer-Verlag, 1990.
17. G.D. Plotkin. Call-by-name, call-by-value and the lambda calculus. Theoret. Comput. Sci., 1, 1975.
18. M. Rittri. Using types as search keys in function libraries. J. Funct. Programming, 1(1), 1991.
19. E.R. Rollins, J.M. Wing. Specifications as search keys for software libraries. In K.F urukawa, ed., Eighth International Conference on Logic Programming. MIT Press, 1991.
20. C. Runciman, I. Toyn. Retrieving reusable software components by polymorphic type. Journal of Functional Programming, 1(2), 1991.
21. M. Stickel, R. Waldinger, M. Lowry, T. Pressburger, I. Underwood. Deductive composition of astronomical software from subroutine libraries. In The 12th International Conference on Automated Deduction, Nancy, France, 1994.
22. P. Wadler. Theorems for free! In 4th Int. Conf. on Functional Programming Languages and Computer Architecture, 1989.
23. A. M. Zaremski, J.M. Wing. Specification matching of software components. ACM Transactions on Software Engineering and Technology, 6(4), 1997.