|
Search the dblp DataBase
Aaron Stump:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Clark W. Barrett, David L. Dill, Aaron Stump
A Framework for Cooperating Decision Procedures. [Citation Graph (0, 0)][DBLP] CADE, 2000, pp:79-98 [Conf]
- Aaron Stump
Subset Types and Partial Functions. [Citation Graph (0, 0)][DBLP] CADE, 2003, pp:151-165 [Conf]
- Aaron Stump, David L. Dill
Faster Proof Checking in the Edinburgh Logical Framework. [Citation Graph (0, 0)][DBLP] CADE, 2002, pp:392-407 [Conf]
- Clark W. Barrett, David L. Dill, Aaron Stump
Checking Satisfiability of First-Order Formulas by Incremental Translation to SAT. [Citation Graph (0, 0)][DBLP] CAV, 2002, pp:236-249 [Conf]
- Clark W. Barrett, Leonardo Mendonça de Moura, Aaron Stump
SMT-COMP: Satisfiability Modulo Theories Competition. [Citation Graph (0, 0)][DBLP] CAV, 2005, pp:20-23 [Conf]
- Aaron Stump, Clark W. Barrett, David L. Dill
CVC: A Cooperating Validity Checker. [Citation Graph (0, 0)][DBLP] CAV, 2002, pp:500-504 [Conf]
- Clark W. Barrett, David L. Dill, Aaron Stump
A Generalization of Shostak's Method for Combining Decision Procedures. [Citation Graph (0, 0)][DBLP] FroCos, 2002, pp:132-146 [Conf]
- Gary T. Leavens, Jean-Raymond Abrial, Don S. Batory, Michael Butler, Alessandro Coglio, Kathi Fisler, Eric C. R. Hehner, Cliff B. Jones, Dale Miller, Simon L. Peyton Jones, Murali Sitaraman, Douglas R. Smith, Aaron Stump
Roadmap for enhanced languages and methods to aid verification. [Citation Graph (0, 0)][DBLP] GPCE, 2006, pp:221-236 [Conf]
- Edwin M. Westbrook, Aaron Stump, Ian Wehrman
A language-based approach to functionally correct imperative programming. [Citation Graph (0, 0)][DBLP] ICFP, 2005, pp:268-279 [Conf]
- Aaron Stump, Clark W. Barrett, David L. Dill, Jeremy R. Levitt
A Decision Procedure for an Extensional Theory of Arrays. [Citation Graph (0, 0)][DBLP] LICS, 2001, pp:29-37 [Conf]
- Dinghao Wu, Andrew W. Appel, Aaron Stump
Foundational proof checkers with small witnesses. [Citation Graph (0, 0)][DBLP] PPDP, 2003, pp:264-274 [Conf]
- Aaron Stump, Li-Yang Tan
The Algebra of Equality Proofs. [Citation Graph (0, 0)][DBLP] RTA, 2005, pp:469-483 [Conf]
- Ian Wehrman, Aaron Stump, Edwin M. Westbrook
Slothrop: Knuth-Bendix Completion with a Modern Termination Checker. [Citation Graph (0, 0)][DBLP] RTA, 2006, pp:287-296 [Conf]
- Aaron Stump, Ryan Besand, James C. Brodman, Jonathan Hseu, Bill Kinnersley
From Rogue to MicroRogue. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:117, n:, pp:69-87 [Journal]
- Aaron Stump, Clark W. Barrett, David L. Dill
Producing Proofs from an Arithmetic Decision Procedure in Elliptical LF. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2002, v:70, n:2, pp:- [Journal]
- Aaron Stump, Carsten Schürmann
Logical Semantics for the Rewriting Calculus. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:125, n:2, pp:149-164 [Journal]
- Ian Wehrman, Aaron Stump
Mining Propositional Simplification Proofs for Small Validating Clauses. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:144, n:2, pp:79-91 [Journal]
- Aaron Stump, Bernd Löchner
Knuth-Bendix completion of theories of commuting group endomorphisms. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 2006, v:98, n:5, pp:195-198 [Journal]
- Andrew W. Appel, Neophytos G. Michael, Aaron Stump, Roberto Virga
A Trustworthy Proof Checker. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2003, v:31, n:3-4, pp:231-260 [Journal]
- Clark W. Barrett, Leonardo Mendonça de Moura, Aaron Stump
Design and Results of the First Satisfiability Modulo Theories Competition (SMT-COMP 2005). [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2005, v:35, n:4, pp:373-390 [Journal]
- Aaron Stump, Hongwei Xi
Preface. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:174, n:7, pp:1-2 [Journal]
Lightweight Verification with Dependent Types. [Citation Graph (, )][DBLP]
Verified programming in Guru. [Citation Graph (, )][DBLP]
Resource typing in Guru. [Citation Graph (, )][DBLP]
Programming with Proofs: Language-Based Approaches to Totally Correct Software. [Citation Graph (, )][DBLP]
Imperative LF Meta-Programming. [Citation Graph (, )][DBLP]
Signature Compilation for the Edinburgh Logical Framework. [Citation Graph (, )][DBLP]
Proof Checking Technology for Satisfiability Modulo Theories. [Citation Graph (, )][DBLP]
Search in 0.005secs, Finished in 0.007secs
|