James L. Caldwell

18 papers A* 2B 1C 2Misc 1Journal 4Unranked 7

Year	Rank	Type	Title / 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