Searching for authors named "John Matthews" – sorted by Relevance.
25 documents found, showing 1 through 10.
Next 10 →
-
Recursive Function Definition over Coinductive Types
- …Recursive Function Denition over Coinductive Types John Matthews Oregon Graduate Institute, P…
- Cited by 3 (0 self) – Add To MetaCart
-
D.: Partial Clock Functions in ACL2
- … Partial Clock Functions in ACL2 John Matthews and Daron Vroon\Lambda Galois Connections, Inc…
- Cited by 4 (3 self) – Add To MetaCart
-
Inductive invariants for nested recursion
- …Inductive Invariants for Nested Recursion ⋆ Sava Krstić and John Matthews OGI School of Science…
- Cited by 4 (2 self) – Add To MetaCart
-
Subject Reduction and Confluence for the reFLect Language
- …Subject Reduction and Con uence for the reFLect Language ? Sava Krstic and John Matthews OGI…
- Cited by 1 (1 self) – Add To MetaCart
-
Verifying BDD Algorithms through Monadic Interpretation
- …Verifying BDD Algorithms through Monadic Interpretation ⋆ Sava Krstić 1 and John Matthews 2 1…
- Cited by 9 (3 self) – Add To MetaCart
-
Formal verification of explicitly parallel microarchitectures
- …Formal veri cation of explicitly parallel microprocessors ? Byron Cook, John Launchbury, John…
- Add To MetaCart
-
Top-level Refinement in Processor Verification
- …Top-level Refinement in Processor Verification Sava Krsti'c, Byron Cook, John Launchbury, and John…
- Add To MetaCart
-
A Correctness Proof of a Speculative, Superscalar, Out-of-Order, Renaming Microarchitecture
- … | extended technical report Sava Krstic, Byron Cook, John Launchbury, and John Matthews fkrstic…
- Add To MetaCart
-
Specifying and Verifying Systems with TLA+
- …Leslie Lamport Microsoft Research Abstract Specifying and Verifying Systems With TLA + John…
- Cited by 4 (1 self) – Add To MetaCart
-
Elementary Microarchitecture Algebra: Top-Level Proof of Pipelined Microarchitecture
- …Elementary Microarchitecture Algebra: Top-Level Proof of Pipelined Microarchitecture John Matthews…
- Cited by 10 (3 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
