James L. Caldwell

发表

Representing Nuprl Proof Objects in ACL2: toward a proof checker for Nuprl

James L. Caldwell, John Cowles, 2002 .

Specifying and Checking Fault-Tolerant Agent-Based Protocols Using Maude

Shivakant Mishra, James L. Caldwell, Jeffrey Van Baalen, 2000, FAABS.

Moving proofs-as-programs into practice

James L. Caldwell, J. Caldwell, 1997, Proceedings 12th IEEE International Conference Automated Software Engineering.

Formal Methods Technology Transfer: A View from NASA

James L. Caldwell, 1998, Formal Methods Syst. Des..

Toward a Formal Evaluation of Refactorings

James L. Caldwell, John Paul, Ruben Gamboa, 2008 .

A HOL theory for voting

James L. Caldwell, Paul S. Miner, 1990 .

Programmable synthesis using a new "Speech microprocessor"

James L. Caldwell, 1980, ICASSP.

Constructively Characterizing Fold and Unfold

James L. Caldwell, Tjark Weber, 2003, LOPSTR.

Generalized support and formal development of constraint propagators pdf

James L. Caldwell, Ian P. Gent, Peter Nightingale, 2017, AI Commun..

High Level Design Proof of a Reliable Computing Platform

James L. Caldwell, Ben L. Di Vito, Ricky W. Butler, 2003 .

Deputy Executive Director for Materials, Waste, Research, State, Tribal, and Compliance Programs Office of the Executive Director for Operations SUBJECT: FINAL REPORT OF THE INTEGRATED MATERIALS PERFORMANCE EVALUATION PROGRAM (IMPEP) REVIEW OF THE REGION III RADIOACTIVE MATERIALS PROGRAM

James L. Caldwell, Martin J. Virgilio, 2007 .

Classical Propositional Decidability via Nuprl Proof Extraction

James L. Caldwell, 1998, TPHOLs.

Search algorithms in type theory

James L. Caldwell, Ian P. Gent, Judith L. Underwood, 2000, Theor. Comput. Sci..

Extracting General Recursive Program Schemes in Nuprl's Type Theory

James L. Caldwell, 2001, LOPSTR.

Theorem Proving in Higher Order Logics

Richard J. Boulton, Tobias Nipkow, Alan Bundy, 2003, Lecture Notes in Computer Science.

Decidability Extracted: Synthesizing "Correct-by-Construction" Decision Procedures form Constructive Proofs

Robert L. Constable, James L. Caldwell, J. Caldwell, 1998 .

Checking Nuprl Proofs in ACL 2 : A Progress Report

James L. Caldwell, John Cowles, 2002 .