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
470 P.: Interactive Theorem Proving and Program Development. Coq’Art: The Calculus of Inductive Constructions – Y Bertot, 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
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
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
195 Distributed Intelligent Agents – Katia Sycara, Keith Decker, Anandeep Pannu, Mike Williamson, Dajun Zeng - 1996
42 On using KQML for matchmaking – D Kuokka, L Harada - 1995