James L. Caldwell
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
1980–2008
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2008 | ISSTA | Extending dynamic constraint detection with disjunctive constraints. | Nadya Kuzmina, John Paul, Ruben Gamboa, James L. Caldwell |
| 2003 | LOPSTR | Constructively Characterizing Fold and Unfold. | Tjark Weber, James L. Caldwell |
| 2001 | LOPSTR | Extracting General Recursive Program Schemes in Nuprl's Type Theory. | James L. Caldwell |
| 1999 | TABLEAUX | Intuitionistic Tableau Extracted. | James L. Caldwell |
| 1989 | DAC | 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 |
| 1980 | ICASSP | Programmable synthesis using a new "Speech microprocessor". | James L. Caldwell |