Jim Caldwell

Extracting Readable and Efficient Programs from Nuprl Proofs
James Caldwell, November 18, 1997
Formal Methods Program at NASA Langley Research Center
Jim Caldwell, February 7, 1995


Home | Introduction |Authors | Topics | Chronological List | PRL Project


Melissa Totman, Department of Computer Science, Cornell University, Ithaca, NY. Mail to: mtotman@cs.cornell.edu