Paul Jackson
Verifying
Garbage Collection Algorithms using the PVS Theorem Prover.
| Paul Jackson, May 7, 1997 |
|
Developing Set Theory in HOL
| Paul Jackson, February 28, 1995 | |
Verifying an Implementation of a Polynomial Algebra ADT| Paul Jackson, November 29, 1994 | |
| Defining Polynomials in Constructive Type Theory |
| Paul Jackson, Spring 1993 |
Editor Demonstration
| Paul Jackson, March 9, 1993 | |