Thomas E. Cheatham Jr.
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
1976–1981
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1981 | ICSE | Program Refinement by Transsformation. | Thomas E. Cheatham Jr., Glenn H. Holloway, Judy A. Townley |
| 1979 | ICSE | A System for Program Refinement. | Thomas E. Cheatham Jr., Judy A. Townley, Glenn H. Holloway |
| 1976 | ISSAC | Symbolic evaluation of programs: a look at loop analysis. | Thomas E. Cheatham Jr., Judy A. Townley |