Fully Automatic Adaptation of Software Components Based on Semantic Specifications*
- 2 September 2002
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Linear higher-order pre-unificationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Specification-based retrieval strategies for module reusePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2001
- The definition of Extended ML: A gentle introductionTheoretical Computer Science, 1997
- The Definition of Standard MLPublished by MIT Press ,1997
- Isomorphisms of Types: from λ-calculus to information retrieval and language designPublished by Springer Science and Business Media LLC ,1995
- Deductive composition of astronomical software from subroutine librariesLecture Notes in Computer Science, 1994
- Using types as search keys in function librariesJournal of Functional Programming, 1991
- A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple UnificationJournal of Logic and Computation, 1991
- Theorems for free!Published by Association for Computing Machinery (ACM) ,1989
- A unification algorithm for typedTheoretical Computer Science, 1975