James L. Caldwell

18 papers A* 2B 1C 2Misc 1Journal 4Unranked 7
YearRankTypeTitle / Venue / Authors
2025 — conf
Verifying Smart Contract Transformations Using Bisimulations.
FMBC
Kegan McIlwaine, James L. Caldwell
2017 J jnl
Generalized support and formal development of constraint propagators.
AI Commun.
James L. Caldwell, Ian P. Gent, Peter Nightingale
2015 J jnl
Generalized Support and Formal Development of Constraint Propagators.
CoRR
James L. Caldwell, Ian P. Gent, Peter Nightingale
2014 — ed.
Proceedings 3rd International Workshop on Trends in Functional Programming in Education, TFPIE 2014, Soesterberg, The Netherlands, 25th May 2014.
TFPIE
James L. Caldwell, Philip K. F. Hölzenspies, Peter Achten
2013 — conf
Structural Induction Principles for Functional Programmers.
TFPIE
James L. Caldwell
2010 — conf
A Machine Checked Model of Idempotent MGU Axioms For Lists of Equational Constraints
UNIF
Sunil Kothari, James L. Caldwell
2008 — conf
Extending dynamic constraint detection with disjunctive constraints.
WODA
Nadya Kuzmina, John Paul, Ruben Gamboa, James L. Caldwell
2006 — conf
Constructive Membership Predicates as Index Types.
PLPV@IJCAR
James L. Caldwell, Josef Pohl
2003 C conf
Constructively Characterizing Fold and Unfold.
LOPSTR
Tjark Weber, James L. Caldwell
2001 C conf
Extracting General Recursive Program Schemes in Nuprl's Type Theory.
LOPSTR
James L. Caldwell
2000 J jnl
Search algorithms in type theory.
Theor. Comput. Sci.
James L. Caldwell, Ian P. Gent, Judith L. Underwood
2000 — conf
Specifying and Checking Fault-Tolerant Agent-Based Protocols Using Maude.
FAABS
Jeffrey Van Baalen, James L. Caldwell, Shivakant Mishra
1999 B conf
Intuitionistic Tableau Extracted.
TABLEAUX
James L. Caldwell
1998 — conf
Classical Propositional Decidability via Nuprl Proof Extraction.
TPHOLs
James L. Caldwell
1998 J jnl
Formal Methods Technology Transfer: A View from NASA.
Formal Methods Syst. Des.
James L. Caldwell
1997 A* conf
Moving Proofs-As-Programs into Practice.
ASE
James L. Caldwell
1989 A* conf
FACE Core Environment: The Model and Its Application in CAE/CAD Tool Development.
DAC
William D. Smith, David A. Duff, Martin Dragomirecky, James L. Caldwell, Michael J. Hartman, Jeffrey R. Jasica, Manuel A. d'Abreu
1980 Misc conf
Programmable synthesis using a new "Speech microprocessor".
ICASSP
James L. Caldwell