Kathi Fisler, Shriram Krishnamurthi, Kathryn E. Gray  Home/Search
Context Related
| rice.edu/~kfisler/Pubs/tphol99.ps.gz wpi.edu/~kfisler/Pubs/tphol99.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: rice.edu/~kfisler/publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . The growing application of theorem proving techniques has increased the need for customized theorem provers. Powerful provers contain numerous interacting subsystems, each of which requires substantial time and expertise to build; constructing new provers from scratch is virtually prohibitive. Plug-and-play prover frameworks promise an alternative in which developers can construct provers by selecting logics, reasoning techniques, and interfaces. Realizing such frameworks cleanly requires... (Update)
Context of citations to this paper: More
...created for DrScheme, MrEd serves as platform for many other applications as well. These applications include a theorem prover [12], a theater lighting system [30] and a mail client, which demonstrate that MrEd s programming model extends to general GUI programming...
.... many substantial systems, including an artillery management system [1] a programming environment [6] and extensible reasoning tools [4, 10]. 3 A Model of Collaboration Based Design To foster a discussion of verification for collaboration based designs, we provide a model for...
Cited by: More
The Influence of Software Module Systems on Modular.. - Li, Fisler, Krishnamurthi (2002) (Correct)
Modular Verification of Feature-Oriented Software Models - Fisler, Krishnamurthi (2002) (Correct)
Verifying Component-Based Collaboration Designs - Fisler, Krishnamurthi, Batory (2001) (Correct)
Active bibliography (related documents): More All
0.6: Programming Languages for Reusable Software Components - Flatt (1999) (Correct)
0.4: Implementing Extensible Compilers - Zenger, Odersky (2001) (Correct)
0.3: Synthesizing Object-Oriented and Functional Design.. - Krishnamurthi.. (1998) (Correct)
Similar documents based on text: More All
0.6: Curriculum Vita - Fisler (1998) (Correct)
0.5: Interfaces for Modular Feature Verification - Li, Krishnamurthi, Fisler (2002) (Correct)
0.5: A Constraint-Based Approach to Open - Feature Veri Cation (Correct)
Related documents from co-citation: More All
4: Modular model checking of software - Laster, Grumberg - 1998
4: Classes and mixins - Flatt, Krishnamurthi et al. - 1998
4: Flow analysis for verifying specifications of concurrent and distributed softwar.. - Dwyer, Clarke - 1997
BibTeX entry: (Update)
Fisler, K., S. Krishnamurthi and K. Gray. Implementing extensible theorem provers. Technical Report 99340, Rice University, 1999. http://citeseer.ist.psu.edu/fisler99implementing.html More
@misc{ fisler99implementing,
author = "K. Fisler and S. Krishnamurthi and K. Gray",
title = "Implementing extensible theorem provers",
text = "Fisler, K., S. Krishnamurthi and K. Gray. Implementing extensible theorem
provers. Technical Report 99340, Rice University, 1999.",
year = "1999",
url = "citeseer.ist.psu.edu/fisler99implementing.html" }
Citations (may not include all citations):2157 Design Patterns: Elements of Reusable Object-Oriented Softwa.. (context) - Gamma, Helm et al. - 1995
1074 The Definition of Standard ML (context) - Milner, Tofte et al. - 1990
862 The Java Language Specification - Gosling, Joy et al. - 1996
537 Component Software: Beyond Object-Oriented Programming (context) - Szyperski - 1998
484 Common Lisp: the Language (context) - Steele - 1990
262 Uniprocessor garbage collection techniques - Wilson - 1992
242 Concurrent Programming in Erlang - Armstrong, Virding et al. - 1996
120 Monad transformers and modular interpreters - Liang, Hudak et al. - 1992
100 Object-oriented programming in the BETA programming language (context) - Madsen, Moller-Pedersen et al. - 1993
97 Integrating decision procedures into heuristic theorem prove.. - Boyer, Moore - 1988
67 Mixin modules - Duggan, Sourelis - 1996
63 Implementing layered designs with mixin layers - Smaragdakis, Batory - 1998
60 Modular object-oriented programming with units and mixins - Findler, Flatt - 1998
41 Reasoning theories: Towards an architecture for open mechani.. - Giunchiglia, Pecchiari et al. - 1994
40 Object-oriented programming versus abstract data types (context) - Cook - 1990
39 The essence of the Visitor pattern - Palsberg, Jay - 1997
29 Number 828 in Lecture Notes in Computer Science (context) - Paulson, Isabelle - 1994
26 Heterogeneous logic (context) - Barwise, Etchemendy - 1995
24 documentation and user's guide (context) - Leroy - 1997
20 User-defined types and procedural data structures as complem.. (context) - Reynolds - 1975
20 Extensible denotational language specifications - Cartwright, Felleisen - 1994
18 Synthesizing object-oriented and functional design to promot.. - Krishnamurthi, Felleisen et al. - 1998
17 Multilanguage systems - Giunchiglia - 1991
13 templates to implement role-based designs (context) - VanHilst, Notkin - 1996
11 A Unified Approach to Hardware Verification Through a Hetero.. - Fisler - 1996
10 Programming Languages for Reusable Software Components - Flatt - 1999
10 Plug-andPlay (context) - Armando, Ranise - 1997
6 Combining theorem proving and trajectory evaluation in an in.. - Aagaard, Jones et al. - 1998
5 The translator pattern---external functionality with homomor.. (context) - Kuhne - 1997
5 Toward a formal theory of extensible software - Krishnamurthi, Felleisen - 1998
5 PLT MrEd: Graphical toolbox manual (context) - Flatt, Findler - 1997
4 A prototype generic tool supporting the embedding of formal .. (context) - Gravell, Pratten - 1998
1 Private commmunication (context) - Allwein - 1998
1 Using Java to build an open and extensible theorem prover co.. - Gravell, Pratten - 1998
1 available at http://www (context) - Proof, design et al. - 1998
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.rice.edu/~kfisler/publications.html): More
Timing Diagrams: Formalization and Algorithmic Verification - Fisler (1998) (Correct)
Bisimulation Minimization in an Automata-Theoretic.. - Fisler, Vardi (1998) (Correct)
Exploiting the Potential of Diagrams in Guiding Hardware Reasoning - Fisler (1995) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC