James L. Caldwell

Publication Activity (10 Years)

Years Active: 1980-2017
Publications (10 Years): 1

Top Topics

Support Environment

Constraint Propagation

Top Venues

Publications

James L. Caldwell, Ian P. Gent, Peter Nightingale
Generalized support and formal development of constraint propagators. AI Commun. 30 (5) (2017)
James L. Caldwell, Ian P. Gent, Peter Nightingale
Generalized Support and Formal Development of Constraint Propagators. CoRR (2015)
James L. Caldwell
Structural Induction Principles for Functional Programmers. TFPIE (2013)
Sunil Kothari, James L. Caldwell
A Machine Checked Model of Idempotent MGU Axioms For Lists of Equational Constraints UNIF (2010)
Nadya Kuzmina, John Paul, Ruben Gamboa, James L. Caldwell
Extending dynamic constraint detection with disjunctive constraints. WODA (2008)
James L. Caldwell, Josef Pohl
Constructive Membership Predicates as Index Types. Electron. Notes Theor. Comput. Sci. 174 (7) (2007)
Tjark Weber, James L. Caldwell
Constructively Characterizing Fold and Unfold. LOPSTR (2003)
James L. Caldwell
Extracting General Recursive Program Schemes in Nuprl's Type Theory. LOPSTR (2001)
James L. Caldwell, Ian P. Gent, Judith L. Underwood
Search algorithms in type theory. Theor. Comput. Sci. 232 (1-2) (2000)
Jeffrey Van Baalen, James L. Caldwell, Shivakant Mishra
Specifying and Checking Fault-Tolerant Agent-Based Protocols Using Maude. FAABS (2000)
James L. Caldwell
Intuitionistic Tableau Extracted. TABLEAUX (1999)
James L. Caldwell
Classical Propositional Decidability via Nuprl Proof Extraction. TPHOLs (1998)
James L. Caldwell
Formal Methods Technology Transfer: A View from NASA. Formal Methods Syst. Des. 12 (2) (1998)
James L. Caldwell
Moving Proofs-As-Programs into Practice. ASE (1997)
William D. Smith, David A. Duff, Martin Dragomirecky, James L. Caldwell, Michael J. Hartman, Jeffrey R. Jasica, Manuel A. d'Abreu
FACE Core Environment: The Model and Its Application in CAE/CAD Tool Development. DAC (1989)
James L. Caldwell
Programmable synthesis using a new "Speech microprocessor". ICASSP (1980)