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:5 - 0 self

Documents Related by Co-Citation

515 Interactive Theorem Proving and Program Development. Coq’Art: The Calculus of Inductive Constructions. Texts in Theoretical Computer Science. An EATCS series – Y Bertot, P Castéran - 2004
1099 KQML as an agent communication language – Tim Finin, Yannis Labrou, James Mayfield
576 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
760 Types and Programming Languages – Benjamin C Pierce - 2002
795 Isabelle/HOL: A Proof Assistant for Higher-Order Logic, volume 2283 – Tobias Nipkow, Lawrence C Paulson, Markus Wenzel - 2002
621 An overview of the KL-ONE knowledge representation system – James G. Schmolze, Bolt Beranek, Newman Inc - 1985
1328 Automatic Text Processing, the Transformation, Analysis, and Retrieval of Information by Computer – G Salton - 1988
487 Inductive Logic Programming: Theory and Methods – Stephen Muggleton, Luc De Raedt - 1994
312 Specification Matching of Software Components – Amy Moormann Zaremski, Jeannette M. Wing - 1996