Searching for authors named "Aaron Stump" – sorted by Relevance.
24 documents found, showing 1 through 10.
Next 10 →
-
SMT-COMP ’06 Entry: the Cooperating Validity Checker (CVC)
- …SMT-COMP ’06 Entry: the Cooperating Validity Checker (CVC) Aaron Stump Washington University in St…
- Add To MetaCart
-
On Coquand's "An Analysis of Girard's Paradox"
- …On Coquand's "An Analysis of Girard's Paradox" Aaron Stump Computer Systems Laboratory E…
- Add To MetaCart
-
Choosing among Signalling Equilibria in Lobbying Games: A Reply to Sloof
- …POPLmark 1a with Named Bound Variables Aaron Stump Washington University in St. Louis stump…
- Cited by 2 (0 self) – Add To MetaCart
-
Subset Types and Partial Functions
- …Subset Types and Partial Functions Aaron Stump Dept. of Computer Science and Engineering…
- Cited by 1 (1 self) – Add To MetaCart
-
Directly reflective meta-programming
- …Directly Reflective Meta-Programming ∗ Aaron Stump Computer Science and Engineering Washington…
- Cited by 2 (0 self) – Add To MetaCart
-
Validated Proof-Producing Decision Procedures
- … and Aaron Stump Dept. of Computer Science and Engineering, Washington University in St. Louis, St. Louis, MO…
- Cited by 10 (5 self) – Add To MetaCart
-
Mining Propositional Simplification Proofs for Small Validating Clauses
- … Wehrman 1,2 Computer Science and Engineering Washington University in St. Louis St. Louis, MO USA Aaron…
- Cited by 2 (2 self) – Add To MetaCart
-
General Terms Languages, Verification Keywords Proof Checker, Proof-Carrying Code
- … Foundational Proof Checkers with Small Witnesses\Lambda Dinghao Wu Andrew W. Appel Aaron Stump…
- Add To MetaCart
-
The Algebra of Equality Proofs
- …The Algebra of Equality Proofs Aaron Stump and Li-Yang Tan Dept. of Computer Science…
- Cited by 11 (5 self) – Add To MetaCart
-
Generating Proofs from a Decision Procedure
- …Generating Proofs from a Decision Procedure Aaron Stump, David L. Dill Computer Systems Laboratory…
- Cited by 16 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
