James L. Caldwell

According to our database, James L. Caldwell authored at least 15 papers between 1980 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Generalized support and formal development of constraint propagators.

James L. Caldwell, Ian P. Gent, Peter Nightingale

AI Commun., 2017

2013

Structural Induction Principles for Functional Programmers.

James L. Caldwell

Proceedings of the Proceedings Second Workshop on Trends in Functional Programming In Education, 2013

2010

A Machine Checked Model of Idempotent MGU Axioms For Lists of Equational Constraints

Sunil Kothari, James L. Caldwell

Proceedings of the Proceedings 24th International Workshop on Unification, 2010

2008

Extending dynamic constraint detection with disjunctive constraints.

Nadya Kuzmina, John Paul, Ruben Gamboa, James L. Caldwell

Proceedings of the 2008 International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008), 2008

2006

Constructive Membership Predicates as Index Types.

James L. Caldwell, Josef Pohl

Proceedings of the Programming Languages meets Program Verification, 2006

2003

Constructively Characterizing Fold and Unfold.

Tjark Weber, James L. Caldwell

Proceedings of the Logic Based Program Synthesis and Transformation, 2003

2001

Extracting General Recursive Program Schemes in Nuprl's Type Theory.

James L. Caldwell

Proceedings of the Logic Based Program Synthesis and Transformation, 2001

2000

Search algorithms in type theory.

James L. Caldwell, Ian P. Gent, Judith L. Underwood

Theor. Comput. Sci., 2000

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

Jeffrey Van Baalen, James L. Caldwell, Shivakant Mishra

Proceedings of the Formal Approaches to Agent-Based Systems, First International Workshop, 2000

1999

Intuitionistic Tableau Extracted.

James L. Caldwell

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1999

1998

Formal Methods Technology Transfer: A View from NASA.

James L. Caldwell

Formal Methods Syst. Des., 1998

Classical Propositional Decidability via Nuprl Proof Extraction.

James L. Caldwell

Proceedings of the Theorem Proving in Higher Order Logics, 11th International Conference, 1998

1997

Moving Proofs-As-Programs into Practice.

James L. Caldwell

Proceedings of the 1997 International Conference on Automated Software Engineering, 1997

1989

FACE Core Environment: The Model and Its Application in CAE/CAD Tool Development.

William D. Smith, David A. Duff, Martin Dragomirecky, James L. Caldwell, Michael J. Hartman, Jeffrey R. Jasica, Manuel A. d'Abreu

Proceedings of the 26th ACM/IEEE Design Automation Conference, 1989

1980

Programmable synthesis using a new "Speech microprocessor".

James L. Caldwell

Proceedings of the IEEE International Conference on Acoustics, 1980