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

Department of Computer Science, Cornell University