Deduction-Based Software Component Retrieval
- 1 January 1998
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- Design by contract: the lessons of ArianeComputer, 1997
- Partial functions and logics: A warningInformation Processing Letters, 1995
- Signature matchingACM Transactions on Software Engineering and Methodology, 1995
- A behavioral notion of subtypingACM Transactions on Programming Languages and Systems, 1994
- Rewrite-based Equational Theorem Proving with Selection and SimplificationJournal of Logic and Computation, 1994
- A typed logic of partial functions reconstructed classicallyActa Informatica, 1994
- SETHEO: A high-performance theorem proverJournal of Automated Reasoning, 1992
- Using types as search keys in function librariesJournal of Functional Programming, 1991
- An axiomatic basis for computer programmingCommunications of the ACM, 1969
- Untersuchungen zur mehrsortigen QuantorenlogikMathematische Annalen, 1962