A logical framework for software proof reuse (1995)

Cached

Download Links

by Joshua E. Caplan , Mehdi T. Harandi
Venue:Proceedings of the ACM SIGSOFT Symposium on Software Reusability
Citations:4 - 0 self

Documents Related by Co-Citation

4 Developing Reuse Technology in Proof Engineering – Zhaohui Luo - 1995
3 Proof Generalization and Proof Reuse – Olivier Pons, Inria Sophia Antipolis
4 Proof reuse with extended inductive types – O Boite - 2004
8 Theorem Reuse by Proof Term Transformation – Einar Broch Johnsen, Christoph Lüth - 2004
15 The Fifteen Provers of the World – Freek Wiedijk - 2002
469 Interactive theorem proving and program development: Coq’Art: The calculus of inductive constructions – Y Bertot, P Castéran - 2004
3 Planning and Matchmaking for the Interoperation of Information Processing Agents. The Information Science Discussion Paper Series No – Stephen Cranefield, Aurora Díaz, Martin Purvis - 1997
2 Cooperative information agents on the Internet – M Klusch - 1996
4 A fuzzy concept network – M Kracker - 1992
8 Boolean Similarity Measures for Resource Discovery – Shih-Hao Li, Peter B. Danzig - 1997
13 Software component search – Joseph Goguen, Doan Nguyen, José Meseguer, Du Zhang Luqi, Valdis Berzins - 1996
10 Carnot and Infosleuth – Database Technology and the Web, in – N Jacobs, R Shea - 1995
31 Specification Matching for Software Reuse: A Foundation – Jun-Jang Jeng, Betty H. C. Cheng - 1995
25 Using Expressive and Flexible Action Representations to Broker Capabilities for Intelligent Agent Cooperation – Gerhard Wickler - 1999
16 A formal treatment of distributed matchmaking – S Jha, P Chalasani, O Shehory, K Sycara - 1998
50 Planning by Rewriting: Efficiently Generating High-Quality Plans – José Luis Ambite, Craig A. Knoblock - 1997
162 An Introduction to Formal Specification and Z – B Potter, J Sinclair, D Till - 1996
49 Representation and reasoning with attributive descriptions – Bernhard Nebel, Gert Smolka - 1990
31 E.J.Neuhold “Knowledge Based Integration of Heterogeneous Databases – P Fankhauser - 1992